Sciweavers

2203 search results - page 283 / 441
» Temporal Abstract Interpretation
Sort
View
132
Voted
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
15 years 10 months ago
Heart surface motion estimation framework for robotic surgery employing meshless methods
Abstract— A novel heart surface motion estimation framework for a robotic surgery on a stabilized beating heart is proposed. It includes an approach for the reconstruction and pr...
Evgeniya Bogatyrenko, Uwe D. Hanebeck, Gábo...
160
Voted
CIARP
2009
Springer
15 years 10 months ago
Two-Frame Optical Flow Formulation in an Unwarping Multiresolution Scheme
Abstract. In this paper, we propose a new formulation of the Differential Optical Flow Equation (DOFE) between two consecutive images considering spatial and temporal information ...
Cyril Cassisa, Serge Simoens, Véronique Pri...
158
Voted
MATES
2009
Springer
15 years 10 months ago
GOAL as a Planning Formalism
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...
Koen V. Hindriks, Tijmen Roberti
112
Voted
CDC
2008
IEEE
160views Control Systems» more  CDC 2008»
15 years 10 months ago
Analysis of sampled-data interconnected systems
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
Chun Zhang, Geir E. Dullerud
VTC
2008
IEEE
15 years 10 months ago
A Bit-Mapping Strategy for Joint Iterative Channel Estimation and Turbo-Decoding
Abstract— In this paper, we investigate Turbo-coded transmission over a temporally correlated flat Rayleigh fading channel. Conventionally, channel estimation is performed prior...
Susanne Godtmann, Helge Lüders, Gerd Ascheid,...