4313 search results - page 582 / 863 » Using time travel to diagnose computer problems |
226
click to vote
ESA
1995
Springer
15 years 11 months ago
1995
Springer
An input to the betweenness problem contains m constraints over n real variables (points). Each constraint consists of three points, where one of the points is specified to lie in...
165
Voted
TCS
2010
15 years 5 months ago
2010
We give a new construction of strongly aperiodic set of tiles in H2 , exhibiting a kind of hierarchical structure, simplifying the central framework of Margenstern’s proof that t...
200
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
194
click to vote
FOCS
2004
IEEE
15 years 11 months ago
2004
IEEE
Edit distance has been extensively studied for the past several years. Nevertheless, no linear-time algorithm is known to compute the edit distance between two strings, or even to...
220
click to vote
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
This paper extends the traditional binocular stereo problem into the spacetime domain, in which a pair of video streams is matched simultaneously instead of matching pairs of imag...