Sciweavers

9810 search results - page 74 / 1962
» Problems, Descriptions and Objects
Sort
View
PLPV
2010
ACM
14 years 8 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
ICRA
2007
IEEE
224views Robotics» more  ICRA 2007»
14 years 5 months ago
Visual Categorization Robust to Large Intra-Class Variations using Entropy-guided Codebook
Abstract— Categorizing visual elements is fundamentally important for autonomous mobile robots to get intelligence such as new object acquisition and topological place classific...
Sungho Kim, In-So Kweon, Chil-Woo Lee
ATAL
2008
Springer
14 years 1 months ago
Autonomous geocaching: navigation and goal finding in outdoor domains
This paper describes an autonomous robot system designed to solve the challenging task of geocaching. Geocaching involves locating a goal object in an outdoor environment given on...
James Neufeld, Michael Sokolsky, Jason Roberts, Ad...
3DPVT
2006
IEEE
154views Visualization» more  3DPVT 2006»
14 years 5 months ago
Hemispherical Harmonic Surface Description and Applications to Medical Image Analysis
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
Heng Huang, Lei Zhang 0002, Dimitris Samaras, Li S...
WSCG
2004
139views more  WSCG 2004»
14 years 16 days ago
Objects Matching Improvement Using Optimization Techniques in a Geometric Modal Methodology
This work was based on a previously developed methodology using shape modal description for matching image objects. With this methodology, the objects points were matched using a ...
Luísa Ferreira Bastos, João Manuel R...