Sciweavers

1220 search results - page 138 / 244
» Guided Data Repair
Sort
View
ICRA
2007
IEEE
161views Robotics» more  ICRA 2007»
14 years 4 months ago
Real-Time Visual Servoing of a Robot Using Three-Dimensional Ultrasound
— This paper presents a robotic system capable of using three-dimensional ultrasound to guide a surgical instrument to a tracked target location. Tracking of both the surgical in...
Paul M. Novotny, Jeffrey A. Stoll, Pierre E. Dupon...
MUE
2007
IEEE
137views Multimedia» more  MUE 2007»
14 years 4 months ago
Process Management Agent
In this paper, agent based process management model is proposed, which is for the process management of knowledge worker and service workers in order to establish the basis for th...
Jeong Ah Kim, Seung Yong Choi
VTC
2007
IEEE
118views Communications» more  VTC 2007»
14 years 4 months ago
Reception and Measurement of MIMO-OFDM Signals with a Single Receiver
— OFDM multi-carrier modulation is expected to be the enabling technology for 4G wireless systems. One of the features that make OFDM the primary choice for 4G is its MIMO compat...
Mustafa E. Sahin, Hüseyin Arslan, Daljeet Sin...
ATVA
2007
Springer
77views Hardware» more  ATVA 2007»
14 years 4 months ago
Proving Termination of Tree Manipulating Programs
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tom&...
CICLING
2007
Springer
14 years 4 months ago
NEO-CORTEX: A Performant User-Oriented Multi-Document Summarization System
Abstract. This paper discusses an approach to topic-oriented multidocument summarization. It investigates the effectiveness of using additional information about the document set ...
Florian Boudin, Juan Manuel Torres Moreno