Sciweavers

1029 search results - page 92 / 206
» Probabilistic Recurrence Relations
Sort
View
DM
2008
103views more  DM 2008»
15 years 6 months ago
A note on lattice chains and Delannoy numbers
Fix nonnegative integers n1, . . . , nd and let L denote the lattice of integer points (a1, . . . , ad) Zd satisfying 0 ai ni for 1 i d. Let L be partially ordered by the usua...
John S. Caughman IV, Clifford R. Haithcock, J. J. ...
QEST
2005
IEEE
15 years 11 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
COLING
2008
15 years 7 months ago
Japanese Dependency Parsing Using a Tournament Model
In Japanese dependency parsing, Kudo's relative preference-based method (Kudo and Matsumoto, 2005) outperforms both deterministic and probabilistic CKY-based parsing methods....
Masakazu Iwatate, Masayuki Asahara, Yuji Matsumoto
FOSSACS
2011
Springer
14 years 9 months ago
Similarity Quotients as Final Coalgebras
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
Paul Blain Levy
PPSN
2004
Springer
15 years 11 months ago
Intransitivity in Coevolution
Abstract. We review and investigate the current status of intransitivity as a potential obstacle in coevolution. Pareto-Coevolution avoids intransitivity by translating any standar...
Edwin D. de Jong