1717 search results - page 242 / 344 » A Computable Spectral Theorem |
131
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
119
click to vote
COLING
2008
15 years 6 months ago
2008
In this paper we present a taxonomy of dialogue moves which describe the actions that students and tutors perform in tutorial dialogue. We are motivated by the need for a categori...
173
click to vote
UAI
2008
15 years 6 months ago
2008
A Bayesian treatment of latent directed graph structure for non-iid data is provided where each child datum is sampled with a directed conditional dependence on a single unknown p...
144
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
156
click to vote
FLAIRS
2003
15 years 6 months ago
2003
Data mining is the process of extracting implicit, previously unknown, and potentially useful information from data in databases. It is widely recognized as a useful tool for deci...