Sciweavers

28445 search results - page 510 / 5689
» Anatomically based modeling
Sort
View
MOZ
2004
Springer
15 years 9 months ago
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
Torsten Anders, Christina Anagnostopoulou, Michael...
179
Voted
PDCAT
2004
Springer
15 years 9 months ago
Parallel Computing Platform for the Agent-Based Modeling of Multicellular Biological Systems
Abstract. Agent-based simulation of large multicellular biological systems has become a viable option owing to affordable parallel computers, such as Beowulf-style clusters. We de...
Toh Da-Jun, Francis Tang, Travis Lee, Deepak Sarda...
PPSN
2004
Springer
15 years 9 months ago
Evolving the "Feeling" of Time Through Sensory-Motor Coordination: A Robot Based Model
In this paper, we aim to design decision-making mechanisms for an autonomous robot equipped with simple sensors, which integrates over time its perceptual experience in order to in...
Elio Tuci, Vito Trianni, Marco Dorigo
107
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 9 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
UML
2004
Springer
15 years 9 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...