4341 search results - page 694 / 869 » Quantitative Model checking |
170
click to vote
CSB
2005
IEEE
16 years 2 days ago
2005
IEEE
HIV-1-associated dementia (HAD) is the most devastating disease happened in the central nervous system of AIDS patients. Neuronal damage, the early indicator of HAD, under differe...
159
click to vote
ETFA
2005
IEEE
16 years 2 days ago
2005
IEEE
In High Volume Manufacturing (HVM), system control is shared between automation and human workers. The social organisation of workers plays an important role in supporting human d...
189
click to vote
ICCV
2005
IEEE
16 years 2 days ago
2005
IEEE
Reconstruction of 3D structures from uncalibrated image sequences has a wealthy history. Most work has been focused on rigid objects or static scenes. This paper studies the probl...
168
click to vote
ISMAR
2005
IEEE
16 years 1 days ago
2005
IEEE
Recently Augmented Reality (AR) technology has been used to develop the next generation collaborative interfaces. First results have shown the value of using AR for co-located tas...
161
click to vote
QEST
2005
IEEE
16 years 1 days ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...