Sciweavers

154 search results - page 26 / 31
» Abstract Interpretation with Applications to Timing Validati...
Sort
View
IJCV
2002
227views more  IJCV 2002»
13 years 8 months ago
Calculating Dense Disparity Maps from Color Stereo Images, an Efficient Implementation
Abstract-- This paper presents an efficient implementation for correlation based stereo. Research in this area can roughly be divided in two classes: improving accuracy regardless ...
Karsten Mühlmann, Dennis Maier, Jürgen H...
TROB
2002
212views more  TROB 2002»
13 years 8 months ago
Path planning for robust image-based control
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...
Youcef Mezouar, François Chaumette
ICCAD
2010
IEEE
117views Hardware» more  ICCAD 2010»
13 years 6 months ago
A synthesis flow for digital signal processing with biomolecular reactions
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
Hua Jiang, Aleksandra P. Kharam, Marc D. Riedel, K...
WEBI
2010
Springer
13 years 6 months ago
Expertise Matching via Constraint-Based Optimization
Abstract--Expertise matching, aiming to find the alignment between experts and queries, is a common problem in many real applications such as conference paper-reviewer assignment, ...
Wenbin Tang, Jie Tang, Chenhao Tan
ICCV
1998
IEEE
14 years 25 days ago
Detecting Changes in Aerial Views of Man-Made Structures
Many applications require detecting structural changes in a scene over a period of time. Comparing intensity values of successive images is not effective as such changes don'...
Andres Huertas, Ramakant Nevatia