Sciweavers

2912 search results - page 85 / 583
» Logistic Model Trees
Sort
View
75
Voted
BC
1998
76views more  BC 1998»
15 years 13 days ago
An equivalent cable model for neuronal trees with active membrane
A non-uniform equivalent cable model of membrane voltage changes in branching neuronal trees with active ion channels has been developed. A general branching condition is formulate...
Michael Ohme, Andreas Schierwagen
ICIP
1995
IEEE
16 years 2 months ago
Multiresolution model development for overlapping trees via canonical correlation analysis
Recently a class of multiscale stochastic models has been introducedin which Gaussian random processes are described by scale-recursive dynamics that are indexed by the nodes of a...
Paul W. Fieguth, William W. Irving, Alan S. Willsk...
CONCUR
2006
Springer
15 years 2 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
LICS
2012
IEEE
13 years 3 months ago
An Automata Model for Trees with Ordered Data Values
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
Tony Tan
ENTCS
2007
190views more  ENTCS 2007»
15 years 8 days ago
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
Stefano Bistarelli, Ugo Montanari, Francesca Rossi...