1941 search results - page 237 / 389 » Reasoning about Computations Using Two-Levels of Logic |
182
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
165
click to vote
ICCSA
2011
Springer
14 years 7 months ago
2011
Springer
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
158
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Occlusion reasoning, necessary for tasks such as navigation and object search, is an important aspect of everyday life and a fundamental problem in computer vision. We believe tha...
115
click to vote
ICPP
2005
IEEE
15 years 9 months ago
2005
IEEE
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
143
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Mobile robots need maps or other forms of geometric information about the environment to navigate. The mobility sensors (LADAR, stereo, etc.) on these robotic vehicles ...