145 search results - page 26 / 29 » Characterising the difference |
CP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some ...
DIGRA
2003
Springer
14 years 23 days ago
2003
Springer
During the Gulf War of 1991, the television coverage was frequently observed to be ‘just like a video game’. This analogy primarily derived from the specific, ‘bombs-eye’ ...
COLT
1994
Springer
13 years 11 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
ECML
1993
Springer
13 years 11 months ago
1993
Springer
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...