Sciweavers

2409 search results - page 173 / 482
» Building Components from Functions
Sort
View
96
Voted
CAV
2009
Springer
132views Hardware» more  CAV 2009»
16 years 1 months ago
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
Thao Dang, David Salinas
ICDCSW
2002
IEEE
15 years 5 months ago
Separating Introspection and Intercession to Support Metamorphic Distributed Systems
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
Eric P. Kasten, Philip K. McKinley, Seyed Masoud S...
FLAIRS
2008
15 years 2 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
WSC
1997
15 years 1 months ago
Integrated Medical Analysis System
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
Susan L. Mabry, Samuel L. Rodriquez, James D. Heff...
79
Voted
GECCO
2004
Springer
124views Optimization» more  GECCO 2004»
15 years 6 months ago
A Cooperative Coevolutionary Multiobjective Algorithm Using Non-dominated Sorting
The following paper describes a cooperative coevolutionary algorithm which incorporates a novel collaboration formation mechanism. It encourages rewarding of components participati...
Antony W. Iorio, Xiaodong Li