5550 search results - page 181 / 1110 » Different Approaches to Proof Systems |
175
click to vote
ICRA
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— Mobile robots rely on the ability to sense the geometry of their local environment in order to avoid obstacles or to explore the surroundings. For this task, dedicated ...
178
click to vote
COSIT
2005
Springer
16 years 1 days ago
2005
Springer
Landmarks play crucial roles in human geographic knowledge. There has been much work focusing on the extraction of landmarks from geographic information systems (GIS) or 3D city mo...
182
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses a novel approach for capturing and translating isolated gestures of American Sign Language into spoken and written words. The instrumented part of the system ...
159
click to vote
ACE
2004
15 years 8 months ago
2004
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
188
click to vote
HT
2009
ACM
15 years 4 months ago
2009
ACM
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...