3333 search results - page 354 / 667 » Abstract Proof Search |
143
click to vote
CP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. One of the most successful approaches in automated planning is to use heuristic state-space search. A popular heuristic that is used by a number of state-space planners i...
144
click to vote
CEC
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...
177
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
166
Voted
KES
2005
Springer
16 years 4 days ago
2005
Springer
We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We is method to a corpus of 5000 Medline abstracts ab...
141
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...