Sciweavers

2693 search results - page 200 / 539
» On Computing Complex Navigation Functions
Sort
View
CORR
2007
Springer
47views Education» more  CORR 2007»
15 years 6 months ago
Resource control of object-oriented programs
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...
Jean-Yves Marion, Romain Péchoux
ICRA
2007
IEEE
524views Robotics» more  ICRA 2007»
16 years 26 days ago
Concept and Design of A Fully Autonomous Sewer Pipe Inspection Mobile Robot "KANTARO"
— In current conventional method, the sewer pipe inspection is undertaken using a cable-tethered robot with an on-board video camera system, completely, tele-operated by human op...
Amir Ali Forough Nassiraei, Yoshinori Kawamura, Al...
WBIR
2010
SPRINGER
15 years 4 months ago
Model-Based Registration for Motion Compensation during EP Ablation Procedures
Radio-frequency catheter ablation (RFCA) has become an accepted treatment option for atrial fibrillation (Afib). RFCA of Afib involves isolation of the pulmonary veins under X-r...
Alexander Brost, Rui Liao, Joachim Hornegger, Norb...
ICPR
2000
IEEE
16 years 7 months ago
Stereo Analysis Using Individual Evolution Strategy
This paper presents an individual evolutionary strategy devised for image analysis applications. The example problem chosen is obstacle detection using a pair of cameras. The algo...
Jean Louchet
VLSID
2003
IEEE
126views VLSI» more  VLSID 2003»
16 years 7 months ago
Comparison of Heuristic Algorithms for Variable Partitioning in Circuit Implementation
Functional decomposition is a process of splitting a complex circuit into smaller sub-circuits. This paper deals with the problem of determining the set of best free and bound var...
Muthukumar Venkatesan, Henry Selvaraj