3724 search results - page 538 / 745 » Timed regular expressions |
129
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
102
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
This essay investigates the peculiar situation of a new media project which takes as its raw material the home-video archive of a deaf man gone blind. In an attempt to revive this...
139
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
131
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
112
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...