Sciweavers

1562 search results - page 239 / 313
» Convenience Over Correctness
Sort
View
PAMI
2008
152views more  PAMI 2008»
14 years 9 months ago
Class-Based Feature Matching Across Unrestricted Transformations
We develop a novel method for class-based feature matching across large changes in viewing conditions. The method (called MBE) is based on the property that when objects share a si...
Evgeniy Bart, Shimon Ullman
PRL
2006
148views more  PRL 2006»
14 years 9 months ago
An agent based evolutionary approach to path detection for off-road vehicle guidance
This paper describes an ant colony optimization approach adopted to decide on road-borders to automatically guide a vehicle developed for the DARPA Grand Challenge 2004, available...
Alberto Broggi, Stefano Cattani
PRL
2006
97views more  PRL 2006»
14 years 9 months ago
Outlier rejection by oriented tracks to aid pose estimation from video
This paper introduces a method for rejecting the false matches of points between successive views in a video sequence used to perform Pose from Motion for a mobile sensing platfor...
Brad Grinstead, Andreas Koschan, Andrei V. Gribok,...
PUC
2006
72views more  PUC 2006»
14 years 9 months ago
Towards self-protecting ubiquitous systems: monitoring trust-based interactions
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
Colin English, Sotirios Terzis, Paddy Nixon
SAC
2006
ACM
14 years 9 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...