Sciweavers

1040 search results - page 30 / 208
» Tools for modeling and solving search problems
Sort
View
SARA
2007
Springer
14 years 1 months ago
Generating Implied Boolean Constraints Via Singleton Consistency
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
Roman Barták
AIPS
1994
13 years 9 months ago
Control Knowledge to Improve Plan Quality
Generating production-quality plans is an essential element in transforming planners from research tools into real-world applications. However most of the work to date on learning...
M. Alicia Pérez, Jaime G. Carbonell
COR
2007
163views more  COR 2007»
13 years 7 months ago
A general heuristic for vehicle routing problems
We present a unified heuristic, which is able to solve five different variants of the vehicle routing problem: the vehicle routing problem with time windows (VRPTW), the capacit...
David Pisinger, Stefan Ropke
FROCOS
2005
Springer
14 years 1 months ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev
IBERAMIA
1998
Springer
13 years 12 months ago
Searching the World Wide Web: Challenges and Partial Solutions
In this article we analyze the problem of searching the WWW, giving some insight and models to understand its complexity. Then we survey the two main current techniques used to se...
Ricardo A. Baeza-Yates