899 search results - page 93 / 180 » fast 2009 |
126
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
141
click to vote
ROBOCUP
2009
Springer
15 years 10 months ago
2009
Springer
In this article a method is proposed for ball tracking using 100 Hz computer vision in a semi-automated foosball table. In this application the behavior of the ball is highly dynam...
106
Voted
HT
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes the Scalable Hyperlink Store, a distributed in-memory “database” for storing large portions of the web graph. SHS is an enabler for research on structural...
145
Voted
VRCAI
2009
ACM
15 years 10 months ago
2009
ACM
Terrain maps, commonly used for updating elevation values of a moving object (i.e., a traveler), may be conveniently used for detecting and preventing collisions between the trave...
129
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— A limiting property of the matrix exponential is proven: For a real square matrix, where the log norm of the upper-left n by n block approaches negative infinity in a limiting...