An intelligent system for monitoring the microgravity environment quality on-board the international Space Station is presented. the monitoring system uses a new approach by combining Kohonen's self-organizing fea...
详细信息
ISBN:
(纸本)0780366468
An intelligent system for monitoring the microgravity environment quality on-board the international Space Station is presented. the monitoring system uses a new approach by combining Kohonen's self-organizing feature map, learning vector quantization and back propagation neural network to classify and recognize the known and unknown patterns. Finally, fuzzy logic is employed to assess the level of confidence associated with each vibrating source activation detected by the system.
this paper describes a deep embedding of a refinement calculus for logic programs in Isabelle/HOL. It extends a previous tool with support for procedures and recursion. the tool supports refinement in context, and a n...
详细信息
this paper revisits the classical cardinality operator introducing new propagation rules that operate on variables that occur in more than one constraint. It also introduces a restricted case of the cardinality operat...
详细信息
this paper presents task-parallel programming, a style of application development for reconfigurable systems. Task-parallel programming enables efficient interaction between concurrent hardware and software tasks. In ...
详细信息
We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's syntax-based solution [20], Baker's state-minimization policy [1], and Gelfond & Lifchitz's Action Lang...
详细信息
We present results on the application of a new methodology based on Parallel and Distributed Genetic programming (PADGP). the aim for the methodology we present is to automatically perform the placement and routing of...
详细信息
the proceedings contain 20 papers. the special focus in this conference is on Markets, Security, Profiling and Business Interaction. the topics include: the next wave of internet-based applications;building comparison...
ISBN:
(纸本)9783540428787
the proceedings contain 20 papers. the special focus in this conference is on Markets, Security, Profiling and Business Interaction. the topics include: the next wave of internet-based applications;building comparison-shopping brokers on the web;trusted mediation for e-service provision in electronic marketplaces;incentives for sharing in peer-to-peer networks;using smart cards for fair exchange;enabling privacy protection in e-commerce applications;an FCC spectrum auction simulator for autonomous bidding agents;a dynamic programming model for algorithm design in simultaneous auctions;multidimensional recommender systems;a multi-criteria taxonomy of business models in electronic commerce;integration of goods delivery supervision into e-commerce supply chain and scalable regulation of inter-enterprise electronic commerce.
In this paper we propose a design based on a genetic algorithm to evolve the logic circuit of a defined input function, in which we aim to minimize the total number of gates used. Our design is outlined and briefly di...
详细信息
ISBN:
(纸本)0780366468
In this paper we propose a design based on a genetic algorithm to evolve the logic circuit of a defined input function, in which we aim to minimize the total number of gates used. Our design is outlined and briefly discussed while our preliminary results are presented and analyzed.
Uncertainty permeates the process of risk assessment. It arises from recognized sources such as inadequacy of toxicological data, lack of exposure information, and imprecise identification of sensitive populations. In...
详细信息
Uncertainty permeates the process of risk assessment. It arises from recognized sources such as inadequacy of toxicological data, lack of exposure information, and imprecise identification of sensitive populations. In addition to these ambiguities, comparative risk exercises, which amount to risk assessment on a scale wider than that applied to single agents, also entail balancing community values, cost-benefit analyses, and other factors not directly tied to toxicology. Such exercises often convene evaluation panels to attempt a ranking of different stressors or stressor groups. the size of these panels is necessarily limited, and they usually strive to reach some form of consensus on ranking. Because ordinal assignments of risk are so difficult to achieve, they actually evolve into rating agendas in which stressors are categorized as high, medium, or low risks. Whether ranking or rating is its aim, this process, with its emphasis on agreement, usually overlooks two major components of uncertainty. One is variability among raters in. assigning a score or category. the other is the degree of uncertainty they implicitly attach to their individual ratings. Both serve as guides to the scope and clarity of the available information. To gather more information about these critical but usually overlooked contributions to uncertainty, and, simultaneously, to query a broader sample of respondents, a survey method was designed to exploit the possibilities of electronic communication based on the World Wide Web. this method can secure risk ratings of selected stressors from many different samples of respondents. In addition, it can also provide information about the extent of ratings variability among risk assessors, individuals, or groups of respondents, about the bases of the ratings, and, concurrently, the confidence they place in their judgment. Comparative risk endeavors conducted in this format make their aims and content easy to modify. Data obtained by such a method c
暂无评论