Sciweavers

14165 search results - page 388 / 2833
» The generalized two-server problem
Sort
View
ISAAC
2004
Springer
125views Algorithms» more  ISAAC 2004»
16 years 4 days ago
Polyline Fitting of Planar Points Under Min-sum Criteria
Fitting a curve of a certain type to a given set of points in the plane is a basic problem in statistics and has numerous applications. We consider fitting a polyline with k join...
Boris Aronov, Tetsuo Asano, Naoki Katoh, Kurt Mehl...
165
Voted
PADL
2004
Springer
16 years 4 days ago
USA-Smart: Improving the Quality of Plans in Answer Set Planning
In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The...
Marcello Balduccini
SAT
2004
Springer
106views Hardware» more  SAT 2004»
16 years 3 days ago
The Optimality of a Fast CNF Conversion and its Use with SAT
Despite the widespread use and study of Boolean satisfiability for a diverse range of problem domains, encoding of problems is usually given to general propositional logic with li...
Daniel Sheridan
163
Voted
ICRA
2003
IEEE
122views Robotics» more  ICRA 2003»
16 years 1 days ago
Complementarity formulation for multi-fingered hand manipulation with rolling and sliding contacts
— We propose a novel complementarity model for a general three-dimensional manipulation system with rolling and sliding contacts to solve the forward dynamics problem. The key id...
Masahito Yashima, Hideya Yamaguchi
GECCO
2006
Springer
184views Optimization» more  GECCO 2006»
15 years 10 months ago
Genetic algorithms and mixed integer linear programs for optimal strategies in a student's "sports" activity
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
Thomas Butter, Franz Rothlauf, Jörn Grahl, To...