Sciweavers

1495 search results - page 227 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
NN
2006
Springer
101views Neural Networks» more  NN 2006»
13 years 8 months ago
A robot model of the basal ganglia: Behavior and intrinsic processing
The existence of multiple parallel loops connecting sensorimotor systems to the basal ganglia has given rise to proposals that these nuclei serve as a selection mechanism resolvin...
Tony J. Prescott, Fernando M. Montes Gonzál...
KBSE
2000
IEEE
14 years 1 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
MODELLIERUNG
2004
13 years 10 months ago
CASE Support and Model-Based Development
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
Bernhard Schätz, Jan Romberg, Oscar Slotosch,...
TSMC
2011
328views more  TSMC 2011»
13 years 3 months ago
Morphogenetic Robotics: An Emerging New Field in Developmental Robotics
—Developmental robotics is also known as epigenetic robotics. We propose in this paper that there is one substantial difference between developmental robotics and epigenetic robo...
Yaochu Jin, Yan Meng
WSC
1998
13 years 10 months ago
Discrete-Event Simulation for the Design and Evaluation of Physical Protection Systems
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
Sabina E. Jordan, Mark K. Snell, Marcella M. Madse...