4693 search results - page 212 / 939 » Verifying Hybrid Systems |
116
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we propose a file naming scheme, called HK (Hierarchical-Keyword-based) naming. In file systems, hierarchical naming has been used for these several decades. As t...
161
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
This paper proposes a distributed coordination algorithm for robotic sensor networks to detect boundaries that separate areas of abrupt change of spatial phenomena. We consider an ...
162
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
170
click to vote
TSMC
2010
15 years 6 days 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 ...
149
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...