Sciweavers

2679 search results - page 81 / 536
» Experimental Models for Validating Technology
Sort
View
105
Voted
MICCAI
2002
Springer
16 years 1 months ago
Needle Insertion Modelling for the Interactive Simulation of Percutaneous Procedures
Abstract. A novel interactive virtual needle insertion simulation is presented. The insertion model simulates three-degree-of-freedom needle motion, physically-based needle forces,...
Simon P. DiMaio, S. E. Salcudean
ICCAD
2001
IEEE
108views Hardware» more  ICCAD 2001»
15 years 9 months ago
Placement Driven Retiming with a Coupled Edge Timing Model
Retiming is a widely investigated technique for performance optimization. It performs powerful modifications on a circuit netlist. However, often it is not clear, whether the pred...
Ingmar Neumann, Wolfgang Kunz
104
Voted
ICRA
2009
IEEE
157views Robotics» more  ICRA 2009»
15 years 7 months ago
Modeling and 3D local estimation for in-plane and out-of-plane motion guidance by 2D ultrasound-based visual servoing
Abstract— This paper presents a new model-free visual servoing that is able to servo a robotized 2D ultrasound probe that interacts with a soft tissue object. It makes direct use...
Rafik Mebarki, Alexandre Krupa, François Ch...
61
Voted
ASPDAC
2005
ACM
81views Hardware» more  ASPDAC 2005»
15 years 6 months ago
System-level communication modeling for network-on-chip synthesis
— As we are entering the network-on-chip era and system communication is becoming a dominating factor, comon abstraction and synthesis are becoming the integral part of system de...
Andreas Gerstlauer, Dongwan Shin, Rainer Döme...
AIPS
2008
15 years 3 months ago
Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems
In the last decades, there has been an increasing interest in the connection between planning and constraint programming. Several approaches were used, leading to different forms ...
Cédric Pralet, Gérard Verfaillie