Sciweavers

1560 search results - page 174 / 312
» Order Functions and Evaluation Codes
Sort
View
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
14 years 4 months ago
Model-based Motion Estimation of Elastic Surfaces for Minimally Invasive Cardiac Surgery
— In order to assist surgeons during surgery on moving organs, e.g. minimally invasive beating heart bypass surgery, a master-slave system which synchronizes surgical instruments...
Thomas Bader, Alexander Wiedemann, Kathrin Roberts...
CONTEXT
2007
Springer
14 years 2 months ago
A Personalized Retrieval Model based on Influence Diagrams
Abstract. A key challenge in information retrieval is the use of contextual evidence within ad-hoc retrieval. Our contribution is particularly based on the belief that contextual r...
Nesrine Zemirli, Lynda Tamine, Mohand Boughanem
TC
2008
13 years 10 months ago
An Efficient and Deadlock-Free Network Reconfiguration Protocol
Component failures and planned component replacements cause changes in the topology and routing paths supplied by the interconnection network of a parallel processor system over ti...
Olav Lysne, José Miguel Montañana, J...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 4 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
SEMWEB
2005
Springer
14 years 3 months ago
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier...