Sciweavers

8201 search results - page 1336 / 1641
» Approaching Manual Intelligence
Sort
View
CEEMAS
2005
Springer
16 years 10 days ago
Architecture-Centric Development of an AGV Transportation System
Architectural design plays a key role in software engineering. The software architecture is the backbone of the designed solution, it has the functional requirements of the system ...
Danny Weyns, Kurt Schelfthout, Tom Holvoet
CP
2005
Springer
16 years 10 days ago
Approximations in Distributed Optimization
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
Adrian Petcu, Boi Faltings
CP
2005
Springer
16 years 10 days ago
On Solving Soft Temporal Constraints Using SAT Techniques
In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’...
Hossein M. Sheini, Bart Peintner, Karem A. Sakalla...
193
Voted
CSCLP
2005
Springer
16 years 10 days ago
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
Thom W. Frühwirth
CSCLP
2005
Springer
16 years 10 days ago
Complexity Analysis of Heuristic CSP Search Algorithms
CSP search algorithms are exponential in the worst-case. A trivial upper bound on the time complexity of CSP search algorithms is O∗ (dn ), where n and d are the number of variab...
Igor Razgon
« Prev « First page 1336 / 1641 Last » Next »