2958 search results - page 139 / 592 » Extending and Implementing RASP |
CAV
2003
Springer
14 years 23 days ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
COMPGEOM
2001
ACM
14 years 23 days ago
2001
ACM
We present algorithms for constructing a hierarchy of increasingly coarse Morse complexes that decompose a piecewise linear 2-manifold. While Morse complexes are defined only in t...
BIBE
2000
IEEE
14 years 22 days ago
2000
IEEE
We present a theoretically founded framework for fuzzy unification and resolution based on edit distance over trees. Our framework extends classical unification and resolution con...
ICALP
2000
Springer
14 years 21 days ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
We extend previous works on real-time estimation, via algebraic techniques, to the recovering of the switching signal and of the state for switching linear systems. We characterize...