8190 search results - page 356 / 1638 » From Timed to Hybrid Systems |
186
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The use of 3-D ultrasound data has several advantages over 2-D ultrasound for fetal biometric measurements, such as considerable decrease in the examination time, possibility of p...
189
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
We present our hybrid system for the PAN challenge at CLEF 2010. Our system performs plagiarism detection for translated and non-translated externally as well as intrinsically plag...
168
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
156
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
The problem of "time separation" can be stated as follows: Given a system made of several connected components, each one entailing a local delay known with uncertainty, ...