Sciweavers

613 search results - page 95 / 123
» Executable Visual Contracts
Sort
View
OTM
2007
Springer
14 years 4 months ago
Semantically Resolving Type Mismatches in Scientific Workflows
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
Kheiredine Derouiche, Denis A. Nicole
IROS
2006
IEEE
190views Robotics» more  IROS 2006»
14 years 3 months ago
Q-RAN: A Constructive Reinforcement Learning Approach for Robot Behavior Learning
Abstract— This paper presents a learning system that uses Qlearning with a resource allocating network (RAN) for behavior learning in mobile robotics. The RAN is used as a functi...
Jun Li, Achim J. Lilienthal, Tomás Mart&iac...
ICRA
2005
IEEE
141views Robotics» more  ICRA 2005»
14 years 3 months ago
Sensor Data Fusion for Body State Estimation in a Hexapod Robot with Dynamical Gaits
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...
Pei-Chun Lin, Haldun Komsuoglu, Daniel E. Koditsch...
VL
2005
IEEE
108views Visual Languages» more  VL 2005»
14 years 3 months ago
Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
Benjamin E. Birnbaum, Kenneth J. Goldman
FIMH
2005
Springer
14 years 3 months ago
Supporting the TECAB Grafting Through CT Based Analysis of Coronary Arteries
Calcified coronary arteries can cause severe cardiac problems and may provoke an infarction of the heart’s wall. An established treatment method is the bypass operation. The usa...
Stefan Wesarg