828 search results - page 30 / 166 » Modularity for Timed and Hybrid Systems |
114
click to vote
ACL
1998
15 years 3 months ago
1998
We present an algorithm for bilingual word alignment that extends previous work by treating multi-word candidates on a par with single words, and combining some simple assumptions...
116
Voted
KI
2007
Springer
15 years 1 months ago
2007
Springer
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
124
click to vote
IJCAI
2001
15 years 3 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
116
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
183
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...