Sciweavers

2670 search results - page 76 / 534
» Modeling systems with internal state using evolino
Sort
View
EVOW
2006
Springer
15 years 1 months ago
A Connectionist Architecture for the Evolution of Rhythms
In this paper we propose the use of an interactive multi-agent system for the study of rhythm evolution. The aim of the model proposed here is to show to what extent new rhythms em...
João Magalhães Martins, Eduardo Reck...
AUTOMATICA
2002
91views more  AUTOMATICA 2002»
14 years 9 months ago
Closed-loop identification with an unstable or nonminimum phase controller
In many practical cases, the identification of a system is done in closed loop with some controller. In this paper, we show that the internal stability of the resulting model, in ...
Benoît Codrons, Brian D. O. Anderson, Michel...
ICECCS
2007
IEEE
82views Hardware» more  ICECCS 2007»
15 years 4 months ago
Formalising Flash Memory: First Steps
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
Andrew Butterfield, Jim Woodcock
JUCS
2010
98views more  JUCS 2010»
14 years 8 months ago
Embedding Hygiene-Compatible Macros in an Unhygienic Macro System
: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also ...
Pascal Costanza, Theo D'Hondt
TSMC
2010
14 years 4 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...