415 search results - page 64 / 83 » Regular Processes and Timed Automata |
137
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
132
click to vote
JGAA
2006
15 years 5 months ago
2006
In this paper we present a new characterization of switch-regular upward embeddings, a concept introduced by Di Battista and Liotta in 1998. This characterization allows us to def...
177
click to vote
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
157
click to vote
IDEAS
2007
IEEE
16 years 6 days ago
2007
IEEE
Constraint-based database caching aims at correctly answering SQL query predicates from a local cache database by exploiting constraints that have previously been used in selectin...
138
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...