3381 search results - page 201 / 677 » Extending Dependencies with Conditions |
167
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
150
click to vote
EDM
2010
15 years 8 months ago
2010
Remote Patient Management Systems (RPM) besides monitoring the health conditions of patients provide them with different information services that currently are predefined and foll...
169
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In this paper, we introduce a new restricted Bayesian network classifier that extends naive Bayes by relaxing the conditional independence assumptions, and show that it is partly ...
119
click to vote
ACL
1998
15 years 8 months ago
1998
: The goal of this paper is to provide computable account for some definite descriptions. To this end, we define in terms of inclusion the notion of distinguishing description and ...
169
click to vote
PUK
2000
15 years 7 months ago
2000
In this paper we discuss and describe preliminary results of integrating two strands of planning research - that of using plan graphs to speed up planning, and that of using object...