3820 search results - page 393 / 764 » Bounded Model Debugging |
112
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
One of the fundamental challenges of recognizing actions is accounting for the variability that arises when arbitrary cameras capture humans performing actions. In this paper, we ...
137
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
-In order to implement a continuous and robust dynamic localization of a mobile robot, the fusion of dead reckoning and absolute sensors is often used. Depending on the objectives ...
122
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...
134
click to vote
GD
2004
Springer
15 years 9 months ago
2004
Springer
We study 3-dimensional layouts of the hypercube in a 1-active layer and general model. The problem can be understood as a graph drawing problem in 3D space and was addressed at Gr...
145
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— In [1], Gupta and Kumar determined the capacity of wireless networks under certain assumptions, among them point-to-point coding, which excludes for example multi-acces...