Sciweavers

2912 search results - page 214 / 583
» Logistic Model Trees
Sort
View
IJON
2006
68views more  IJON 2006»
15 years 4 months ago
Dendritic cable with active spines: A modelling study in the spike-diffuse-spike framework
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modelled with a simple integrate-and-fire process, whil...
Yulia Timofeeva, Gabriel J. Lord, Stephen Coombes
200
Voted
CORR
2011
Springer
235views Education» more  CORR 2011»
14 years 11 months ago
On the accuracy of language trees
Historical linguistics aims at inferring the most likely language phylogenetic tree starting from information concerning the evolutionary relatedness of languages. The available i...
Simone Pompei, Vittorio Loreto, Francesca Tria
ICML
2005
IEEE
16 years 5 months ago
A graphical model for chord progressions embedded in a psychoacoustic space
Chord progressions are the building blocks from which tonal music is constructed. Inferring chord progressions is thus an essential step towards modeling long term dependencies in...
David Barber, Douglas Eck, Jean-François Pa...
124
Voted
ICALP
2009
Springer
16 years 4 months ago
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
Naoki Kobayashi, C.-H. Luke Ong
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 7 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...