Sciweavers

1350 search results - page 190 / 270
» Reasoning about Staged Computation
Sort
View
ICPR
2008
IEEE
15 years 11 months ago
Visual features with semantic combination using Bayesian network for a more effective image retrieval
In many vision problems, instead of having fully annotated training data, it is easier to obtain just a subset of data with annotations, because it is less restrictive for the use...
Sabine Barrat, Salvatore Tabbone
ICPR
2004
IEEE
15 years 11 months ago
Neural Network Based Modeling and Color Rendering for Mixed Reality
This paper describes a new approach to color image rendering for mixed reality applications. The approach has two steps. The first uses neural network based photometric stereo to ...
Haruki Kawanaka, Kenji Funahashi, Robert J. Woodha...
ICPR
2002
IEEE
15 years 11 months ago
Visual Orientation in the Sewer Adaptation to the Environment
Most biological systems employ visually acquired information for their locomotion. In the course of evolutionary history, the visual system of organisms has evolved to be adapted ...
Marina Kolesnik
GIS
2005
ACM
15 years 11 months ago
Visualizing the results of interactive queries for geographic data on mobile devices
The capabilities of current mobile computing devices such as PDAs and mobile phones are making it possible to design and develop mobile GIS applications that provide users with ge...
Stefano Burigat, Luca Chittaro
DAC
2000
ACM
15 years 11 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...