1980 search results - page 260 / 396 » Compositional Model Checking of Real Time Systems |
106
click to vote
TOG
2002
15 years 3 months ago
2002
The digitization of the 3D shape of real objects is a rapidly expanding field, with applications in entertainment, design, and archaeology. We propose a new 3D model acquisition s...
137
click to vote
PADS
1999
ACM
15 years 7 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
132
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
139
click to vote
POPL
1990
ACM
15 years 7 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
177
click to vote
KI
2010
Springer
14 years 10 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...