3073 search results - page 163 / 615 » Real World Verification |
134
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
142
click to vote
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Project managers can use capture-recapture models to manage the inspection process by estimating the number of defects present in an artifact and determining whether a reinspectio...
191
click to vote
KI
2010
Springer
14 years 11 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...
142
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
Application of Virtual Reality (VR) in training and education seems to give excellent promise in providing an alternative “real life” environment in situations where it is imp...
218
click to vote
AMS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Dealing with methods of Human-Robot-Interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system ...