Sciweavers

3873 search results - page 639 / 775
» Neighbourhood Components Analysis
Sort
View
CONCUR
1999
Springer
15 years 10 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
VR
1999
IEEE
185views Virtual Reality» more  VR 1999»
15 years 10 months ago
Hybrid Inertial and Vision Tracking for Augmented Reality Registration
The biggest single obstacle to building effective augmented reality (AR) systems is the lack of accurate wide-area sensors for trackers that report the locations and orientations ...
Suya You, Ulrich Neumann, Ronald Azuma
HPCN
1999
Springer
15 years 10 months ago
The Digital Puglia Project: An Active Digital Library of Remote Sensing Data
The growing need of software infrastructure able to create, maintain and ease the evolution of scientific data, promotes the development of digital libraries in order to provide th...
Giovanni Aloisio, Massimo Cafaro, Roy Williams
ICCVW
1999
Springer
15 years 10 months ago
A General Method for Feature Matching and Model Extraction
Abstract. Popular algorithms for feature matching and model extraction fall into two broad categories, generate-and-test and Hough transform variations. However, both methods su er...
Clark F. Olson
ICRA
1998
IEEE
177views Robotics» more  ICRA 1998»
15 years 10 months ago
The Coulomb Pump: a Novel Parts Feeding Method Using a Horizontally-Vibrating Surface
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
Dan Reznik, John F. Canny