Sciweavers

97 search results - page 12 / 20
» Towards Automated Creation of Image Interpretation Systems
Sort
View
CSL
2007
Springer
14 years 2 months ago
Incorporating Tables into Proofs
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
Dale Miller, Vivek Nigam
ICRA
2008
IEEE
134views Robotics» more  ICRA 2008»
14 years 3 months ago
Towards robust place recognition for robot localization
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
Muhammad Muneeb Ullah, Andrzej Pronobis, Barbara C...
VISUALIZATION
1991
IEEE
14 years 3 days ago
A Scientific Visualization Synthesizer
or vectors at every mesh point may lead to a very cluttered image. Continuous coloring or data mapping, on the other hand, provide a smooth representation of the data. The use of t...
Roger Crawfis, M. J. Allison
DIAL
2004
IEEE
181views Image Analysis» more  DIAL 2004»
14 years 10 days ago
Forensic Handwritten Document Retrieval System
Document storage and retrieval capabilities of the CEDAR-FOX forensic handwritten document examination system are described. The system is designed for automated and semi-automate...
Sargur N. Srihari, Zhixin Shi
CDC
2009
IEEE
142views Control Systems» more  CDC 2009»
14 years 1 months ago
Towards STEM control: Modeling framework and development of a sensor for defocus control
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
Arturo Tejada, Wouter Van den Broek, Saartje W. va...