94 search results - page 9 / 19 » Proving and Constraint Solving in Computational Origami |
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
BMVC
1997
13 years 9 months ago
1997
A new geometrical approach in solving the shape from shading problem of Lambertian model is discussed. It is shown that this problem is bound by two local constraints through the ...
TAP
2010
Springer
13 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Conditional Random Field models have proved effective for several low-level computer vision problems. Inference in these models involves solving a combinatorial optimization probl...
AAI
2004
13 years 7 months ago
2004
Work allocation planning is a vital and notoriously difficult task in areas characterised by large work forces, contiguous and sometimes overlapping shifts, regulatory and corpora...