2038 search results - page 116 / 408 » Probabilistic Agent Programs |
101
Voted
IDEAL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In many data mining projects the data to be analysed contains personal information, like names and addresses. Cleaning and preprocessing of such data likely involves dedu...
112
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper tackles three algorithmic problems for probabilistic automata on finite words: the Emptiness Problem, the Isolation Problem and the Value 1 Problem. The Empti...
128
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
128
click to vote
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
80
Voted
COLING
2002
15 years 2 months ago
2002
We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...