4313 search results - page 542 / 863 » Using time travel to diagnose computer problems |
226
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
203
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Event-triggered control systems are systems in which the control signal is recomputed when the plant's output signal leaves a triggering-set. There has been recent interest in...
220
Voted
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Recent work in multiple view geometry has focused on
obtaining globally optimal solutions at the price of computational
time efciency. On the other hand, traditional bundle
adj...
197
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
This paper proposes a novel method for matching road vehicles between two non-overlapping cameras. The matching problem is formulated as a same-different classification problem: p...
146
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
As the process technology enters the nanometer era, reliability has become a major concern in the design and manufacturing of VLSI circuits. In this paper we focus on one reliabil...