Sciweavers

4163 search results - page 398 / 833
» Enhancing surgical systems
Sort
View
202
Voted
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 11 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
GECCO
2006
Springer
176views Optimization» more  GECCO 2006»
15 years 10 months ago
Evolutionary interactive music composition
This paper proposes the CFE framework--Composition, Feedback, and Evolution--and presents an interactive music composition system. The system composes short, manageable pieces of ...
Tao-yang Fu, Tsu-yu Wu, Chin-te Chen, Kai-chu Wu, ...
ESAW
2008
Springer
15 years 8 months ago
Contribution to the Control of a MAS's Global Behaviour: Reinforcement Learning Tools
Reactive multi-agent systems present global behaviours uneasily linked to their local dynamics. When it comes to controlling such a system, usual analytical tools are difficult to ...
François Klein, Christine Bourjot, Vincent ...
JSW
2008
163views more  JSW 2008»
15 years 6 months ago
Model-Driven User Requirements Specification using SysML
Requirements engineering is an important phase in a system's life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The incr...
Michel dos Santos Soares, Jos L. M. Vrancken
MAGS
2008
169views more  MAGS 2008»
15 years 6 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi