Sciweavers

7167 search results - page 44 / 1434
» A Technique for Invariant Generation
Sort
View
JAIR
1998
120views more  JAIR 1998»
15 years 1 months ago
The Automatic Inference of State Invariants in TIM
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...
Maria Fox, Derek Long
BMVC
2000
15 years 3 months ago
Invariant Characterization of the Hough Transform for Pose Estimation of Arbitrary Shapes
We develop a new formulation for including invariance in a general form of the Hough transform. We first develop a formal definition of the Hough transform mapping for arbitrary s...
Alberto S. Aguado, Eugenia Montiel, Mark S. Nixon
ADC
2007
Springer
170views Database» more  ADC 2007»
15 years 8 months ago
Pruning SIFT for Scalable Near-duplicate Image Matching
The detection of image versions from large image collections is a formidable task as two images are rarely identical. Geometric variations such as cropping, rotation, and slight p...
Jun Jie Foo, Ranjan Sinha
UML
2005
Springer
15 years 7 months ago
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche
ICRA
2002
IEEE
177views Robotics» more  ICRA 2002»
15 years 7 months ago
Robust Vision-Based Localization for Mobile Robots using an Image Retrieval System Based on Invariant Features
In this paper we present a vision-based approach to mobile robot localization, that integrates an image retrieval system with Monte-Carlo localization. The image retrieval process...
Jürgen Wolf, Wolfram Burgard, Hans Burkhardt