14190 search results - page 266 / 2838 » Abstractions for hybrid systems |
188
click to vote
TSMC
2010
15 years 1 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
144
click to vote
SIGGRAPH
1990
ACM
15 years 10 months ago
1990
ACM
Numbers: AbstractImageRepresentations Paul Haeberli Silicon Graphics Computer Systems Computer graphics research has concentrated on creating photo-realistic images of synthetic o...
189
Voted
ENTCS
2007
15 years 6 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
213
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuation...
181
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...