1056 search results - page 125 / 212 » A Probabilistic Applied Pi-Calculus |
CHI
1995
ACM
14 years 15 days ago
1995
ACM
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
COMPGEOM
1995
ACM
14 years 15 days ago
1995
ACM
We present a simple but powerful new probabilistic technique for analyzing the combinatorial complexity of various substructures in arrangements of piecewise-linear surfaces in hig...
CAV
2010
Springer
14 years 8 days ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
AAAI
2008
13 years 11 months ago
2008
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
EMNLP
2007
13 years 10 months ago
2007
We present a data-driven variant of the LR algorithm for dependency parsing, and extend it with a best-first search for probabilistic generalized LR dependency parsing. Parser act...