2917 search results - page 225 / 584 » Satisfying Interaction Constraints |
152
click to vote
AAAI
2006
15 years 8 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
216
click to vote
JSAT
2006
15 years 6 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
221
Voted
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
In this paper we introduce user-defined segmentation constraints within the level set methods. Snake-driven methods are powerful and widely explored techniques for object extractio...
167
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Volume haptics has shown itself an effective way of enhancing precision and speed in interaction with medical or scientific visualization. This paper presents a mixed solver appr...
137
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Virtual space eliminates the constraints of physical distances on communication and interaction. In this study, we examine the impact of offline proximity and homophily of play...