Sciweavers

1914 search results - page 271 / 383
» Abstract lambda-Calculus Machines
Sort
View
ICDE
2008
IEEE
119views Database» more  ICDE 2008»
14 years 9 months ago
Toward Simulation-Based Optimization in Data Stream Management Systems
Abstract-- Our demonstration introduces a novel system architecture which massively facilitates optimization in data stream management systems (DSMS). The basic idea is to decouple...
Bernhard Seeger, Christoph Heinz, Jürgen Kr&a...
DAC
2003
ACM
14 years 9 months ago
A retargetable micro-architecture simulator
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
Wai Sum Mong, Jianwen Zhu
MICCAI
2006
Springer
14 years 8 months ago
Atlas Guided Identification of Brain Structures by Combining 3D Segmentation and SVM Classification
Abstract. This study presents a novel automatic approach for the identification of anatomical brain structures in magnetic resonance images (MRI). The method combines a fast multis...
Ayelet Akselrod-Ballin, Meirav Galun, Moshe John G...
MICCAI
2006
Springer
14 years 8 months ago
GPU Based Real-Time Instrument Tracking with Three Dimensional Ultrasound
Abstract. Real-time 3D ultrasound can enable new image-guided surgical procedures, but high data rates prohibit the use of traditional tracking techniques. We present a new method ...
Paul M. Novotny, Jeffrey A. Stoll, Nikolay V. Vasi...
MICCAI
2002
Springer
14 years 8 months ago
Robust Registration of Multi-modal Images: Towards Real-Time Clinical Applications
Abstract. High performance computing has become a key step to introduce computer tools, like real-time registration, in the medical field. To achieve real-time processing, one usua...
Radu Stefanescu, Sébastien Ourselin, Xavier...