Sciweavers

1057 search results - page 60 / 212
» The Carrot Approach: Encouraging Use of Location Systems
Sort
View
BMVC
2001
15 years 8 months ago
TINA 2001: The Closed Loop 3D Model Matcher
This paper discusses advances made to the 3D geometrical model matching system within the TINA machine vision environment over the last 10 years including the recent inclusion of ...
A. J. Lacey, Neil A. Thacker, Patrick Courtney, St...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 11 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
IJRR
2010
135views more  IJRR 2010»
15 years 3 months ago
On the Design and Use of a Micro Air Vehicle to Track and Avoid Adversaries
The MAV '08 competition focused on the problem of using air and ground vehicles to locate and rescue hostages being held in a remote building. To execute this mission, a numbe...
Ruijie He, Abraham Bachrach, Michael Achtelik, Alb...
ICIP
2007
IEEE
16 years 7 months ago
An Adaptive Multiresolution Approach to Fingerprint Recognition
We propose an adaptive multiresolution (MR) approach to the classification of fingerprint images. The system adds MR decomposition in front of a generic classifier consisting of f...
Aliaksei Sandryhaila, Amina Chebira, Charles Jacks...
NSDI
2007
15 years 8 months ago
Exploiting Similarity for Multi-Source Downloads Using File Handprints
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...
Himabindu Pucha, David G. Andersen, Michael Kamins...