Sciweavers

469 search results - page 55 / 94
» Physical Search Problems Applying Economic Search Models
Sort
View
ICCV
1995
IEEE
15 years 5 months ago
Fast Object Recognition in Noisy Images Using Simulated Annealing
A fast simulatedannealingalgorithmis developed for automatic object recognition. The object recognition problem is addressed as the problem of best describing a match between a hy...
Margrit Betke, Nicholas C. Makris
IVC
2002
132views more  IVC 2002»
15 years 1 months ago
Structure and motion estimation from apparent contours under circular motion
In this paper we address the problem of recovering structure and motion from the apparent contours of a smooth surface. Fixed image features under circular motion and their relati...
Kwan-Yee Kenneth Wong, Paulo R. S. Mendonça...
MICCAI
1999
Springer
15 years 6 months ago
Towards a Better Comprehension of Similarity Measures Used in Medical Image Registration
While intensity-based similarity measures are increasingly used for medical image registration, they often rely on implicit assumptions regarding the physics of imaging. The motiva...
Alexis Roche, Grégoire Malandain, Nicholas ...
ICSE
1993
IEEE-ACM
15 years 6 months ago
A Comprehensive Process Model for Studying Software Process Papers
E cient and e ective studying of scienti c papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software...
Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavj...
ATVA
2007
Springer
108views Hardware» more  ATVA 2007»
15 years 8 months ago
A New Approach to Bounded Model Checking for Branching Time Logics
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
Rotem Oshman, Orna Grumberg