13841 search results - page 2348 / 2769 » Algorithms and Constraint Programming |
180
Voted
AMKM
2003
Springer
15 years 10 months ago
2003
Springer
The semantic web is becoming a realizable technology due to the efforts of researchers to develop semantic markup languages such as the DARPA Agent Markup Language (DAML). A major...
131
Voted
CP
2003
Springer
15 years 10 months ago
2003
Springer
Recently spectacular improvements in the performance of SAT solvers have been achieved through nogood recording (clause learning). In the CSP literature, on the other hand, nogood ...
140
Voted
EMMCVPR
2003
Springer
15 years 10 months ago
2003
Springer
Common techniques for curve alignment find a solution in the form of a shortest network path by means of dynamic programming. In this paper we present an approach that employs Set...
137
click to vote
ESA
2003
Springer
15 years 10 months ago
2003
Springer
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
149
Voted
GD
2003
Springer
15 years 10 months ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...