677 search results - page 105 / 136 » Dependent Types from Counterexamples |
110
click to vote
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
A practical lipreading system can be considered either as subject dependent (SD) or subject-independent (SI). An SD system is user-specific, i.e., customized for some particular ...
108
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
The most popular way to use probabilistic models in vision is first to extract some descriptors of small image patches or object parts using well-engineered features, and then to...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract-- Curves and natural frames can be used for describing and controlling motion in both biological and engineering contexts (e.g., pursuit and formation control). The geomet...
122
click to vote
CVPR
2011
IEEE
14 years 3 months ago
2011
IEEE
Several attempts have been lately proposed to tackle the
problem of recovering the original image of an underwater
scene using a sequence distorted by water waves. The
main draw...