Sciweavers

324 search results - page 26 / 65
» Ways of grounding imagination
Sort
View
FSTTCS
2010
Springer
13 years 6 months ago
First-Order Logic with Reachability Predicates on Infinite Systems
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
Stefan Schulz
ICCV
2011
IEEE
12 years 8 months ago
Evaluation of Image Features Using a Photorealistic Virtual World
Image features are widely used in computer vision applications. They need to be robust to scene changes and image transformations. Designing and comparing feature descriptors requ...
Biliana Kaneva, Antonio Torralba, Bill Freeman
MICCAI
2005
Springer
14 years 9 months ago
Shape-Based Averaging for Combination of Multiple Segmentations
Combination of multiple segmentations has recently been introduced as an effective method to obtain segmentations that are more accurate than any of the individual input segmentati...
Torsten Rohlfing, Calvin R. Maurer Jr.
AROBOTS
2010
101views more  AROBOTS 2010»
13 years 9 months ago
A quantitative assessment of structural errors in grid maps
Various common error sources affect the quality of a map, e.g., salt and pepper noise and other forms of noise that are more or less uniformly distributed over the map. But there ...
Andreas Birk
IWC
2006
99views more  IWC 2006»
13 years 8 months ago
A computer support tool for the early stages of architectural design
Even in the current computer age, there are still many important application areas, such as early architectural design, where traditional tools like sketching on paper continue to...
Dzmitry Aliakseyeu, Jean-Bernard Martens, Matthias...