365 search results - page 27 / 73 » Liveness in Timed and Untimed Systems |
ISMAR
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
We describe a system to learn an object template from a video stream, and localize and track the corresponding object in live video. The template is decomposed into a number of lo...
SIMPRA
2008
13 years 9 months ago
2008
Using multi-agent models to study social systems has attracted criticisms because of the challenges involved in their validation. Common criticisms that we have encountered are de...
ECTEL
2010
Springer
13 years 8 months ago
2010
Springer
Argumentation is omnipresent in our lives and therefore an important skill to learn. While classic face-to-face argumentation and debate has advantages in helping people learn to a...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...