Sciweavers

32 search results - page 5 / 7
» Solving Linear Arithmetic Constraints for User Interface App...
Sort
View
84
Voted
ECAI
2008
Springer
14 years 11 months ago
The Impact of Constraint Programming
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
Pascal Van Hentenryck
AIPS
2008
14 years 12 months ago
Linear Relaxation Techniques for Task Management in Uncertain Settings
In this paper, we consider the problem of assisting a busy user in managing her workload of pending tasks. We assume that our user is typically oversubscribed, and is invariably j...
Pradeep Varakantham, Stephen F. Smith
ICCV
2007
IEEE
15 years 11 months ago
Applications of parametric maxflow in computer vision
The maximum flow algorithm for minimizing energy functions of binary variables has become a standard tool in computer vision. In many cases, unary costs of the energy depend linea...
Vladimir Kolmogorov, Yuri Boykov, Carsten Rother
140
Voted
SIGGRAPH
1999
ACM
15 years 1 months ago
A Morphable Model for the Synthesis of 3D Faces
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...
Volker Blanz, Thomas Vetter
77
Voted
SI3D
1999
ACM
15 years 1 months ago
Haptic sculpting of dynamic surfaces
Conventional free-form surface design usually require tedious control-point manipulation and/or painstaking constraint specification via unnatural mouse-based interfaces. This pa...
Frank Dachille, Hong Qin, Arie E. Kaufman, Jihad E...