15416 search results - page 2787 / 3084 » Embeddings of Computable Structures |
194
click to vote
SIMULATION
2008
15 years 6 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
204
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Self-adaptive component-based architectures provide methods and mechanisms to support the dynamic adaptation of their structure under evolving execution context. Dynamic adaptation...
166
click to vote
ALIFE
2005
15 years 6 months ago
2005
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
164
click to vote
TASLP
2008
15 years 6 months ago
2008
Various techniques have previously been proposed for the separation of convolutive mixtures. These techniques can be classified as stochastic, adaptive, and deterministic. Stochast...
192
click to vote
TCAD
2008
15 years 6 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...