4434 search results - page 289 / 887 » On the Composition of Hybrid Systems |
185
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 ...
211
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...
200
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
220
click to vote
TMM
2010
15 years 1 months ago
2010
As digital cameras with Global Positioning System (GPS) capability become available and people geotag their photos using other means, it is of great interest to annotate semantic e...
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...