7988 search results - page 274 / 1598 » A Useful Undecidable Theory |
IJCAI
2001
15 years 2 months ago
2001
This paper describes SiN, a novel case-based planning algorithm that combines conversational case retrieval with generative planning. SiN is provably correct, and can generate pla...
111
Voted
IJCAI
2001
15 years 2 months ago
2001
The HITS and the PageRank algorithms are eigenvector methods for identifying "authoritative" or "influential" articles, given hyperlink or citation information...
120
click to vote
NIPS
2004
15 years 2 months ago
2004
Many works have shown that strong connections relate learning from examples to regularization techniques for ill-posed inverse problems. Nevertheless by now there was no formal ev...
104
Voted
UAI
1998
15 years 2 months ago
1998
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of...
112
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...