1980 search results - page 380 / 396 » Compositional Model Checking of Real Time Systems |
ISMAR
2002
IEEE
14 years 19 days ago
2002
IEEE
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
ISIPTA
1999
IEEE
13 years 12 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
BMCBI
2007
13 years 7 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...
IVC
2007
13 years 7 months ago
2007
In this article a new approach is given for real-time visual tracking of a class of articulated non-rigid objects in 3D. The main contribution of this paper consists in symmetrica...