4460 search results - page 376 / 892 » Formal methods for interactive systems |
164
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— To achieve accurate and efficient interaction with humans, robot training is indispensable to make robot cooperate with different host. We are focusing on development of a huma...
188
Voted
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a method for controlling the appearance of an arbitrary 3D object using a projector and a camera. Our goal is to make one object look like another by projecting a caref...
221
click to vote
DMS
2008
15 years 8 months ago
2008
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
192
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
185
Voted
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...