Sciweavers

789 search results - page 35 / 158
» simulation 1998
Sort
View
FLAIRS
1998
15 years 2 months ago
Learning to Race: Experiments with a Simulated Race Car
Our focus is on designing adaptable agents for highly dynamic environments. Wehave implementeda reinforcement learning architecture as the reactive componentof a twolayer control ...
Larry D. Pyeatt, Adele E. Howe
115
Voted
ISMB
1998
15 years 2 months ago
BioSim: A New Qualitative Simulation Environment for Molecular Biology
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
Karsten R. Heidtke, Steffen Schulze-Kremer
ACSD
1998
IEEE
90views Hardware» more  ACSD 1998»
15 years 5 months ago
Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
Miroslav N. Velev, Randal E. Bryant
90
Voted
WSC
1998
15 years 2 months ago
Track Loss and Recovery for Intermittently Emitting Targets
There is far less literature on passive sensor systems for tracking intermittently emitting targets than for tracking continuously emitting ones. A methodology for evaluating thes...
Nicholas E. Rozen
ATS
1998
IEEE
114views Hardware» more  ATS 1998»
15 years 5 months ago
Design and Simulation of a RISC-Based 32-bit Embedded On-Board Computer
This paper presents the design and simulation method for developing a RISC-based 32-bit embedded on-board computer. Instead of the conventional breadboarded prototype, (1) we used...
Zhen Guo, He Li, Shuling Guo, Dongsheng Wang