Sciweavers

1522 search results - page 112 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
CVPR
2004
IEEE
15 years 12 days ago
A Correlation-Based Model Prior for Stereo
All non-trivial stereo problems need model priors to deal with ambiguities and noise perturbations. To meet requirements of increasingly demanding tasks such as modeling for rende...
Yanghai Tsin, Takeo Kanade
RTCSA
2000
IEEE
14 years 2 months ago
Scheduling optional computations in fault-tolerant real-time systems
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mo...
DSVIS
1998
Springer
14 years 2 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
CLEF
2009
Springer
13 years 11 months ago
Automatically Generating Queries for Prior Art Search
This report outlines our participation in CLEF-IP's 2009 prior art search task. In the task's initial year our focus lay on the automatic generation of effective queries...
Erik Graf, Leif Azzopardi, Keith van Rijsbergen
CAIP
2005
Springer
260views Image Analysis» more  CAIP 2005»
14 years 3 months ago
An Illumination Invariant Face Recognition Approach Using Exemplar-Based Synthesis Technique
Abstract. This paper proposes a new method to solve the problem of face recognition under varying illumination conditions. We introduce an exemplar-based technique to decouple and ...
Tele Tan, Thorsten Kühnapfel, Amelyn Wongso, ...