Sciweavers

5699 search results - page 54 / 1140
» Alternating model trees
Sort
View
FM
2003
Springer
139views Formal Methods» more  FM 2003»
15 years 4 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
IWANN
1997
Springer
15 years 3 months ago
The Pattern Extraction Architecture: A Connectionist Alternative to the Von Neumann Architecture
A detailed connectionist architecture is described which is capable of relating psychological behavior to the functioning of neurons and neurochemicals. The need to be able to bui...
L. Andrew Coward
ACL
2008
15 years 14 days ago
A Unified Syntactic Model for Parsing Fluent and Disfluent Speech
This paper describes a syntactic representation for modeling speech repairs. This representation makes use of a right corner transform of syntax trees to produce a tree representa...
Tim Miller, William Schuler
JCB
2006
67views more  JCB 2006»
14 years 11 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
PPSN
2010
Springer
14 years 9 months ago
Globally Induced Model Trees: An Evolutionary Approach
In the paper we propose a new evolutionary algorithm for induction of univariate regression trees that associate leaves with simple linear regression models. In contrast to typical...
Marcin Czajkowski, Marek Kretowski