Sciweavers

7213 search results - page 1264 / 1443
» Automated model grouping
Sort
View
ICCCN
2007
IEEE
16 years 6 days ago
Lagniappe: Multi-* Programming Made Simple
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
Taylor L. Riché, R. Greg Lavender, Harrick ...
ICRA
2007
IEEE
164views Robotics» more  ICRA 2007»
16 years 5 days 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
16 years 5 days 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
16 years 4 days 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
16 years 4 days 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
« Prev « First page 1264 / 1443 Last » Next »