Sciweavers

3233 search results - page 329 / 647
» Rule Modeling and Markup
Sort
View
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 6 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
NPL
2006
85views more  NPL 2006»
15 years 6 months ago
A Neural Model for Context-dependent Sequence Learning
A novel neural network model is described that implements context-dependent learning of complex sequences. The model utilises leaky integrate-and-fire neurons to extract timing inf...
Luc Berthouze, Adriaan G. Tijsseling
AEI
2005
102views more  AEI 2005»
15 years 6 months ago
Manufacturing planning and predictive process model integration using software agents
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
Shaw C. Feng, Keith A. Stouffer, Kevin K. Jurrens
IJON
2007
85views more  IJON 2007»
15 years 6 months ago
Hierarchical dynamical models of motor function
Hierarchical models of motor function are described in which the motor system encodes a hierarchy of dynamical motor primitives. The models are based on continuous attractor neura...
Simon M. Stringer, Edmund T. Rolls
163
Voted
BC
2005
106views more  BC 2005»
15 years 6 months ago
Phase transitions in the neuropercolation model of neural populations with mixed local and non-local interactions
Abstract We model the dynamical behavior of the neuropil, the densely interconnected neural tissue in the cortex, using neuropercolation approach. Neuropercolation generalizes phas...
Robert Kozma, Marko Puljic, Paul Balister, B&eacut...