Sciweavers

562 search results - page 44 / 113
» Dependency Pairs Revisited
Sort
View
219
Voted
CADE
2011
Springer
14 years 1 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
LREC
2010
151views Education» more  LREC 2010»
15 years 3 months ago
Training Parsers on Partial Trees: A Cross-language Comparison
We present a study that compares data-driven dependency parsers obtained by means of annotation projection between language pairs of varying structural similarity. We show how the...
Kathrin Spreyer, Lilja Øvrelid, Jonas Kuhn
116
Voted
EMNLP
2006
15 years 3 months ago
A Skip-Chain Conditional Random Field for Ranking Meeting Utterances by Importance
We describe a probabilistic approach to content selection for meeting summarization. We use skipchain Conditional Random Fields (CRF) to model non-local pragmatic dependencies bet...
Michel Galley
123
Voted
SIGMOD
2009
ACM
161views Database» more  SIGMOD 2009»
15 years 8 months ago
Dependency-aware reordering for parallelizing query optimization in multi-core CPUs
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
Wook-Shin Han, Jinsoo Lee
107
Voted
VLDB
2004
ACM
123views Database» more  VLDB 2004»
15 years 7 months ago
CORDS: Automatic Generation of Correlation Statistics in DB2
When query optimizers erroneously assume that database columns are statistically independent, they can underestimate the selectivities of conjunctive predicates by orders of magni...
Ihab F. Ilyas, Volker Markl, Peter J. Haas, Paul G...