4617 search results - page 778 / 924 » Automation of Diagrammatic Reasoning |
186
click to vote
PLISP
1989
15 years 11 months ago
1989
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...
198
click to vote
ECSQARU
2007
Springer
15 years 11 months ago
2007
Springer
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...
161
click to vote
ICCBR
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we study the topic of CBR systems learning from observations in which those observations can be represented as stochastic policies. We describe a general framework wh...
181
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
153
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...