474 search results - page 38 / 95 » Computing integral solutions of complementarity problems |
SOFSEM
2012
Springer
13 years 5 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
WICOMM
2008
14 years 9 months ago
2008
With the recent advances in portable devices and wireless networks, a new paradigm of computing has emerged which is known as mobile computing. In general mobile computing can be ...
278
click to vote
Book
When I started reading about level set methods, I realized that I must have strong mathematical background in several math areas such as differential geometry, vector calculus, par...
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The deformation of applicable surfaces such as sheets of paper satisfies the differential geometric constraints of isometry (lengths and areas are conserved) and vanishin...
106
click to vote
ICML
2008
IEEE
15 years 10 months ago
2008
IEEE
We consider the problem of optimizing multilabel MRFs, which is in general NP-hard and ubiquitous in low-level computer vision. One approach for its solution is to formulate it as...