Sciweavers

543 search results - page 49 / 109
» Methods for Empirical Game-Theoretic Analysis
Sort
View
IR
2008
13 years 9 months ago
An analysis on document length retrieval trends in language modeling smoothing
Abstract. Document length is widely recognized as an important factor for adjusting retrieval systems. Many models tend to favor the retrieval of either short or long documents and...
David E. Losada, Leif Azzopardi
RECOMB
2012
Springer
11 years 11 months ago
Recovering the Tree-Like Trend of Evolution Despite Extensive Lateral Genetic Transfer: A Probabilistic Analysis
Abstract. Lateral gene transfer (LGT) is a common mechanism of nonvertical evolution where genetic material is transferred between two more or less distantly related organisms. It ...
Sebastien Roch, Sagi Snir
CAV
2005
Springer
122views Hardware» more  CAV 2005»
14 years 2 months ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan
IDA
2005
Springer
14 years 2 months ago
Removing Statistical Biases in Unsupervised Sequence Learning
Unsupervised sequence learning is important to many applications. A learner is presented with unlabeled sequential data, and must discover sequential patterns that characterize the...
Yoav Horman, Gal A. Kaminka
ER
2006
Springer
112views Database» more  ER 2006»
14 years 19 days ago
Deriving Concepts for Modeling Business Actions
We outline a procedure called communicative and material functions analysis that can be used to derive business modeling concepts. It is rooted in the language-action perspective o...
Peter Rittgen