3333 search results - page 113 / 667 » Abstract Proof Search |
123
Voted
CP
2006
Springer
15 years 7 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...
117
click to vote
AIPS
2007
15 years 6 months ago
2007
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
139
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
128
click to vote
AMC
2008
15 years 3 months ago
2008
Abstract: The nonlinear conjugate gradient method is widely used in unconstrained optimization. However, the line search is very difficult or expensive sometimes. In this paper, we...
127
Voted
ECML
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Distributed heterogeneous search environments are an emerging phenomenon in Web search, in which topic-specific search engines provide search services, and metasearchers...