Sciweavers

805 search results - page 73 / 161
» Enumerating All Solutions for Constraint Satisfaction Proble...
Sort
View
ECCV
2006
Springer
16 years 6 months ago
Direct Solutions for Computing Cylinders from Minimal Sets of 3D Points
Efficient direct solutions for the determination of a cylinder from points are presented. The solutions range from the well known direct solution of a quadric to the minimal soluti...
Christian Beder, Wolfgang Förstner
ACMDIS
2000
ACM
15 years 8 months ago
Design of a Social Interaction Environment for Electronic Marketplaces
This paper presents the design of an interaction environment for fostering social interactions in electronic marketplaces. The environment incorporates a novel, spatially-organize...
Younghee Jung, Alison Lee
KI
2002
Springer
15 years 4 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos
AAAI
2007
15 years 6 months ago
Reasoning about Bargaining Situations
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
Dongmo Zhang
CPAIOR
2010
Springer
15 years 2 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey