912 search results - page 60 / 183 » Abstract Saturation-Based Inference |
176
click to vote
ACAL
2009
Springer
16 years 23 days ago
2009
Springer
The Information Fusion Panel within The Technical Cooperation Program (TTCP) is developing algorithms to perform machine-based situation assessment to assist human operators in co...
168
click to vote
WIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We use them to model musical styles: a same automaton can be used to...
182
click to vote
AISC
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
147
click to vote
AH
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents an approach that uses the techniques of plan recognition not only to infer short-term plans and goals, but also to infer the long-term procedural know...
157
click to vote
RELMICS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...