Sciweavers

2639 search results - page 160 / 528
» Biological Systems as Reactive Systems
Sort
View
CONCUR
1997
Springer
15 years 10 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
LREC
2010
173views Education» more  LREC 2010»
15 years 8 months ago
Transcriber Driving Strategies for Transcription Aid System
Speech recognition technology suffers from a lack of robustness which limits its usability for fully automated speech-to-text transcription, and manual correction is generally req...
Grégory Senay, Georges Linares, Benjamin Le...
BIBE
2009
IEEE
252views Bioinformatics» more  BIBE 2009»
16 years 1 months ago
Multi-Agents System to Model Cell Signalling by Using Fuzzy Cognitive Maps. Application to Computer Simulation of Multiple Myelo
—In order to simulate biological processes, we use multi-agents system. However, modelling cell behavior in systems biology is complex and may be based on intracellular biochemic...
Vincent Rodin, Gabriel Querrec, Pascal Ballet, Fra...
KES
2007
Springer
16 years 22 days ago
Breedbot: An Edutainment Robotics System to Link Digital and Real World
The paper describes Breedbot an edutainment software and hardware system that could be used to evolve autonomous agents in digital (software) world and to transfer the evolved mind...
Orazio Miglino, Onofrio Gigliotta, Michela Pontico...
HICSS
1997
IEEE
109views Biometrics» more  HICSS 1997»
15 years 10 months ago
Performance Evaluation of a C++ Library Based Multithreaded System
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
John G. Holm, Steven Parkes, Prithviraj Banerjee