1446 search results - page 131 / 290 » Similarity of Cardinal Directions |
126
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
153
click to vote
MLMI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Prosody has been actively studied as an important knowledge source for speech recognition and understanding. In this paper, we are concerned with the question of exploiti...
125
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper deals with the haptic rendering of collisions between a human operator and rigid objects in a virtual environment. The focus being on high-velocity impacts on a rigi...
153
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— We report our development of a vision-based motion planning system for an autonomous motorcycle designed for desert terrain, where uniform road surface and lane markings are no...
129
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...