Sciweavers

2912 search results - page 85 / 583
» Logistic Model Trees
Sort
View
90
Voted
BC
1998
76views more  BC 1998»
15 years 2 months 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 4 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...
155
Voted
CONCUR
2006
Springer
15 years 4 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
167
Voted
LICS
2012
IEEE
13 years 5 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
146
Voted
ENTCS
2007
190views more  ENTCS 2007»
15 years 2 months 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...