164 search results - page 28 / 33 » Refinement and Verification of Real-Time Systems |
POPL
2010
ACM
15 years 6 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...
EG
2006
14 years 9 months ago
2006
: E-government systems are subject to a continual change. The importance of better change management is nowadays, more important due to the evolution of Europe towards a multicultu...
QEST
2010
IEEE
14 years 7 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
105
click to vote
IJRR
2010
14 years 4 months ago
2010
We present a complete vision guided robot system for model based 3D pose estimation and picking of singulated 3D objects. Our system employs a novel vision sensor consisting of a ...
BCSHCI
2007
14 years 11 months ago
2007
To help consumers dealing with their growing amount of home video, we have developed the Edit While Watching (EWW) system. It is designed to automatically create an edited version...