Sciweavers

5799 search results - page 482 / 1160
» Patterns Generate Architectures
Sort
View
BC
2000
99views more  BC 2000»
15 years 6 months ago
Spinal motor control system incorporates an internal model of limb dynamics
The existence and utilization of an internal representation of the controlled object is one of the most important features of the functioning of neural motor control systems. This ...
Yury P. Shimansky
COMBINATORICS
2002
105views more  COMBINATORICS 2002»
15 years 6 months ago
Counting 1324-Avoiding Permutations
We consider permutations that avoid the pattern 1324. By studying the generating tree for such permutations, we obtain a recurrence formula for their number. A computer program pr...
Darko Marinov, Rados Radoicic
NECO
2007
70views more  NECO 2007»
15 years 6 months ago
Solution Methods for a New Class of Simple Model Neurons
Recently Izhikevich (2003) proposed a new canonical neuron model of spike generation. The model was surprisingly simple, yet able to accurately replicate the firing patterns of d...
Mark D. Humphries, Kevin N. Gurney
CP
2009
Springer
16 years 7 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
POPL
2004
ACM
16 years 7 months ago
Incremental execution of transformation specifications
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen