726 search results - page 138 / 146 » Reasoning about Feature Models in Higher-Order Logic |
100
click to vote
GIS
2010
ACM
14 years 8 months ago
2010
ACM
Local search is a specialization of the web search that allows users to submit geographically constrained queries. However, one of the challenges for local search engines is to un...
81
Voted
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...
68
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...
KES
2007
Springer
15 years 3 months ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...