4313 search results - page 180 / 863 » Using time travel to diagnose computer problems |
183
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
208
click to vote
AMDO
2008
Springer
15 years 9 months ago
2008
Springer
This paper addresses the problem of real-time location of the joints or centres of rotation (CoR) of human skeletons in the presence of missing data. The data is assumed to be 3d m...
175
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...
222
Voted
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
A unified framework to jointly solve the two problems of localization and synchronization at the same time is presented in this paper. The joint approach is attractive because it ...
222
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
The problem of eye detection in face images is very important for a large number of applications ranging from face recognition to gaze tracking. In this paper we propose a new alg...