912 search results - page 123 / 183 » Abstract Saturation-Based Inference |
106
click to vote
DIAGRAMS
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
126
click to vote
ECCV
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. We propose a new generative model, and a new image similarity kernel based on a linked hierarchy of probabilistic segmentations. The model is used to efficiently segment ...
ANOR
2010
15 years 23 hour ago
2010
Abstract. We consider a continuous-time model for inventory management with Markov modulated non-stationary demands. We introduce active learning by assuming that the state of the ...
LISP
2008
14 years 12 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
SYNTHESE
2008
14 years 11 months ago
2008
Abstract We argue that in the decision making process required for selecting assertible vague descriptions of an object, it is practical that communicating agents adopt an epistemi...