7988 search results - page 395 / 1598 » A Useful Undecidable Theory |
314
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we present a novel system for the detection and extraction of road map information from high-resolution satellite imagery. Uniquely, the proposed system is an integr...
138
click to vote
MHCI
2009
Springer
2009
Springer
The use of mobile contact list applications and a context-oriented framework to support their design
16 years 1 months ago
Contact lists are one of the most frequently used applications on mobile devices. They are used not only as contact detail repositories, but also as temporary information storage ...
235
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
—Face recognition performance depends upon the input variability as encountered during biometric data capture including occlusion and disguise. The challenge met in this paper is...
147
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
– We address the problem of knee pathology assessment by using screw theory to describe the knee motion and by using the screw representation of the motion as an input to a machi...
188
click to vote
POPL
1996
ACM
15 years 11 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...