4313 search results - page 181 / 863 » Using time travel to diagnose computer problems |
167
Voted
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
We address the problem of automated video tracking of targets when targets undergo multiple mutual occlusions. Our approach is based on the idea that as targets are occluded, sele...
181
click to vote
ACSC
2002
IEEE
16 years 2 days ago
2002
IEEE
Suffix trees are versatile data structures that are used for solving many string-matching problems. One of the main arguments against widespread usage of the structure is its spac...
199
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
The computing community has long faced the problem of scientifically comparing different computers and different algorithms. When architecture, method, precision, or storage capac...
214
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
In earlier work, we proposed treating wide baseline matching of feature points as a classification problem, in which each class corresponds to the set of all possible views of suc...
226
click to vote
ISORC
2005
IEEE
16 years 21 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...