Sciweavers

3914 search results - page 668 / 783
» Automating SLA modeling
Sort
View
ICRA
2007
IEEE
164views Robotics» more  ICRA 2007»
15 years 11 months ago
Image-guided Control of Flexible Bevel-Tip Needles
— Physicians perform percutaneous therapies in many diagnostic and therapeutic procedures. Image guidance promises to improve targeting accuracy and broaden the scope of needle i...
Vinutha Kallem, Noah J. Cowan
ISBI
2007
IEEE
15 years 11 months ago
Noise and Artifact Removal in Knife-Edge Scanning Microscopy
Knife-Edge Scanning Microscopy (KESM) is a recently developed technique that allows fast and automated imaging of several hundred cubic millimeters of tissue at sub-micron resolut...
David Mayerich, Bruce H. McCormick, John Keyser
LICS
2007
IEEE
15 years 11 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
QSIC
2007
IEEE
15 years 11 months ago
Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
Zhenyu Zhang, W. K. Chan, T. H. Tse
TIME
2007
IEEE
15 years 11 months ago
Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
Marcel Puchol-Blasco, Estela Saquete, Patricio Mar...