1056 search results - page 125 / 212 » A Probabilistic Applied Pi-Calculus |
141
click to vote
CHI
1995
ACM
15 years 6 months 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...
156
click to vote
COMPGEOM
1995
ACM
15 years 6 months 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...
117
Voted
CAV
2010
Springer
15 years 6 months 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...
140
click to vote
AAAI
2008
15 years 5 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...
126
click to vote
EMNLP
2007
15 years 4 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...