1716 search results - page 116 / 344 » Proving Conditional Termination |
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
Fitting of the chin is an essential part of facial model fitting systems. Many previous approaches to chin fitting have used active contour models or snakes. However, achieving su...
ICFP
2005
ACM
14 years 8 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...
ICS
2010
Tsinghua U.
14 years 6 months ago
2010
Tsinghua U.
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
TIME
2009
IEEE
14 years 3 months ago
2009
IEEE
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...
ACCV
2007
Springer
14 years 3 months 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...