740 search results - page 39 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
RIVF
2007
13 years 10 months ago
2007
— In this paper, we present a new approach for automatic car detection from aerial images. The system exploits a robust machine learning method known as boosting for efficient c...
ISWC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper investigates the use of programming language constructs to realize adaptive behavior in support of collaboration among users of wearable and handheld computers. A proto...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
We present two interfaces to support one-handed thumb use for PDAs and cell phones. Both use Scalable User Interface (ScUI) techniques to support multiple devices with different r...
SIGGRAPH
1996
ACM
14 years 19 days ago
1996
ACM
Multiresolution analysis has been proposed as a basic tool supporting compression, progressive transmission, and level-of-detail control of complex meshes in a unified and theoret...
APSEC
2004
IEEE
14 years 7 days ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...