5624 search results - page 313 / 1125 » On Conditional Covering Problem |
142
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicit...
161
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
139
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Fourier-envelope algorithms are an important component of the mixed-signal/RF verification toolbox. In this paper, we address the unpredictability and lack of robustness that has...
207
click to vote
ACIVS
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a new method for bimodal information fusion in audio-visual speech recognition, where cross-modal association is considered in two levels. First, the acoustic a...
166
click to vote
ACCV
2007
Springer
16 years 27 days ago
2007
Springer
The paper is focused on the problem of pose estimation from a single view in minimum conditions that can be obtained from images. Under the assumption of known intrinsic parameters...