Sciweavers

198 search results - page 7 / 40
» Infinite mixtures of trees
Sort
View
ICASSP
2011
IEEE
14 years 2 months ago
Arccosine kernels: Acoustic modeling with infinite neural networks
Neural networks are a useful alternative to Gaussian mixture models for acoustic modeling; however, training multilayer networks involves a difficult, nonconvex optimization that...
Chih-Chieh Cheng, Brian Kingsbury
CAV
2004
Springer
130views Hardware» more  CAV 2004»
15 years 2 months ago
Global Model-Checking of Infinite-State Systems
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
Nir Piterman, Moshe Y. Vardi
JCB
2006
67views more  JCB 2006»
14 years 10 months ago
The Identifiability of Tree Topology for Phylogenetic Models, Including Covarion and Mixture Models
For a model of molecular evolution to be useful for phylogenetic inference, the topology of evolutionary trees must be identifiable. That is, from a joint distribution the model p...
Elizabeth S. Allman, John A. Rhodes
FSTTCS
2010
Springer
14 years 8 months ago
First-Order Logic with Reachability Predicates on Infinite Systems
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
Stefan Schulz