Sciweavers

5722 search results - page 782 / 1145
» Dynamic inference control
Sort
View
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
15 years 4 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
CDC
2010
IEEE
135views Control Systems» more  CDC 2010»
15 years 1 months ago
Synchronous rendezvous of very-low-range wireless agents
In this paper, we address the problem of temporal synchronization of a team of mobile agents on a set of rendezvous points defined by the nodes of a bipartite network. In particula...
Michael M. Zavlanos
IJBC
2010
69views more  IJBC 2010»
15 years 1 months ago
Initiation of HIV Therapy
In this paper, we numerically show that the dynamics of the HIV system is sensitive to both the initial condition and the system parameters. These phenomena imply that the system ...
Charlotte Yuk-Fan Ho, Bingo Wing-Kuen Ling
TOG
2012
188views Communications» more  TOG 2012»
13 years 9 months ago
Deformable objects alive!
We present a method for controlling the motions of active deformable characters. As an underlying principle, we require that all motions be driven by internal deformations. We ach...
Stelian Coros, Sebastian Martin, Bernhard Thomasze...
CVPR
2005
IEEE
16 years 9 months ago
Bi-Layer Segmentation of Binocular Stereo Video
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
Vladimir Kolmogorov, Antonio Criminisi, Andrew Bla...