Sciweavers

4335 search results - page 100 / 867
» Privatizing Constraint Optimization
Sort
View
EOR
2007
104views more  EOR 2007»
13 years 10 months ago
Analysis of the constraint proposal method for two-party negotiations
In the constraint proposal method a mediator locates points at which the two decision makers have joint tangent hyperplanes. We give conditions under which these points are Pareto...
Mitri Kitti, Harri Ehtamo
MICCAI
2005
Springer
14 years 11 months ago
Spatial Motion Constraints for Robot Assisted Suturing Using Virtual Fixtures
We address the problem of the stitching task in endoscopic surgery using a circular needle under robotic assistance. Our main focus is to present an algorithm for suturing using gu...
Ankur Kapoor, Ming Li, Russell H. Taylor
CP
2009
Springer
14 years 10 months ago
From Model-Checking to Temporal Logic Constraint Solving
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
Aurélien Rizk, François Fages
SAT
2004
Springer
115views Hardware» more  SAT 2004»
14 years 3 months ago
Full CNF Encoding: The Counting Constraints Case
Abstract. Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding...
Olivier Bailleux, Yacine Boufkhad
GECCO
1999
Springer
158views Optimization» more  GECCO 1999»
14 years 2 months ago
Coevolutionary Genetic Algorithms for Solving Dynamic Constraint Satisfaction Problems
In this paper, we discuss the adaptability of Coevolutionary Genetic Algorithms on dynamic environments. Our CGA consists of two populations: solution-level one and schema-level o...
Hisashi Handa, Osamu Katai, Tadataka Konishi, Mits...