Sciweavers

1174 search results - page 81 / 235
» Automatically generating stories from sensor data
Sort
View
123
Voted
MICCAI
2005
Springer
16 years 4 months ago
Automatic Registration and Fusion of Ultrasound with CT for Radiotherapy
We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
Wolfgang Wein, Barbara Röper, Nassir Navab
ECAI
2006
Springer
15 years 7 months ago
Situation Assessment for Sensor-Based Recovery Planning
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saf...
SSR
2001
134views more  SSR 2001»
15 years 4 months ago
Generation of visitor components that implement program transformations
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
Kurt Stirewalt, Laura K. Dillon
ETFA
2005
IEEE
15 years 9 months ago
Plug-and-play: bridging the semantic gap between application and transducers
Abstract – Plug-and-play is an important mechanism for achieving component integration and improving interoperability in smart transducer systems. While recent research in smart ...
Stefan Pitzek, Wilfried Elmenreich
ENTCS
2006
109views more  ENTCS 2006»
15 years 3 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone