3677 search results - page 81 / 736 » Is a probabilistic modeling |
158
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
187
click to vote
LPNMR
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
140
click to vote
NAACL
2001
15 years 6 months ago
2001
In human sentence processing, cognitive load can be defined many ways. This report considers a definition of cognitive load in terms of the total probability of structural options...
170
click to vote
JCB
2006
15 years 5 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
174
click to vote
ACL
2009
15 years 3 months ago
2009
We present a novel approach to parse web search queries for the purpose of automatic tagging of the queries. We will define a set of probabilistic context-free rules, which genera...