Sciweavers

1648 search results - page 185 / 330
» A Modelling Framework for Functional Imagination
Sort
View
NN
2008
Springer
115views Neural Networks» more  NN 2008»
15 years 3 months ago
The state of MIIND
MIIND (Multiple Interacting Instantiations of Neural Dynamics) is a highly modular multi-level C++ framework, that aims to shorten the development time for models in Cognitive Neu...
Marc de Kamps, Volker Baier, Johannes Drever, Mela...
JSA
2008
131views more  JSA 2008»
15 years 2 months ago
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
Amjad Gawanmeh, Sofiène Tahar, Kirsten Wint...
ICASSP
2009
IEEE
15 years 10 months ago
Exploiting statically schedulable regions in dataflow programs
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...
Ruirui Gu, Jörn W. Janneck, Mickaël Raul...
127
Voted
PG
2000
IEEE
15 years 7 months ago
FEM-Based Dynamic Subdivision Splines
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
Hong Qin
JAIR
1998
198views more  JAIR 1998»
15 years 3 months ago
Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians
This paper presents a general and efficient framework for probabilistic inference and learning from arbitrary uncertain information. It exploits the calculation properties of fini...
Alberto Ruiz, Pedro E. López-de-Teruel, M. ...