Sciweavers

1836 search results - page 296 / 368
» Modeling and Visualization of Cardiovascular Systems
Sort
View
DIAGRAMS
2004
Springer
14 years 20 days ago
Towards a Default Reading for Constraint Diagrams
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
Andrew Fish, John Howse
FMICS
2006
Springer
14 years 18 days ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius
EUROPAR
1995
Springer
14 years 15 days ago
Relating Data-Parallelism and (And-) Parallelism in Logic Programs
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
Manuel V. Hermenegildo, Manuel Carro
AAAI
2008
13 years 11 months ago
Learning to Improve Earth Observation Flight Planning
This paper describes a method and system for integrating machine learning with planning and data visualization for the management of mobile sensors for Earth science investigation...
Robert A. Morris, Nikunj C. Oza, Leslie Keely, Eli...
ICOST
2010
Springer
13 years 11 months ago
Object Recognition and Ontology for Manipulation with an Assistant Robot
This article presents a service robotic system for people loosing their autonomy developed at CEA LIST. In the past on SAM robot, we have developed a method for automatic manipulat...
Hélène Vorobieva, Mariette Soury, Pa...