Sciweavers

4163 search results - page 616 / 833
» A comprehensive combination framework
Sort
View
GIS
2003
ACM
16 years 7 months ago
Computational data modeling for network-constrained moving objects
Advances in wireless communications, positioning technology, and other hardware technologies combine to enable a range of applications that use a mobile user's geo-spatial da...
Laurynas Speicys, Christian S. Jensen, Augustas Kl...
DAC
2008
ACM
16 years 7 months ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
DAC
2007
ACM
16 years 7 months ago
Global Critical Path: A Tool for System-Level Timing Analysis
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
Girish Venkataramani, Mihai Budiu, Tiberiu Chelcea...
MICCAI
2003
Springer
16 years 7 months ago
Generalized Image Models and Their Application as Statistical Models of Images
A generalized image model (GIM) is presented. Images are represented as sets of four-dimensional (4D) sites combining position and intensity information, as well as their associat...
Miguel Ángel González Ballester, Xav...
MICCAI
2003
Springer
16 years 7 months ago
Automated Segmentation of Abdominal Aortic Aneurysms in Multi-spectral MR Images
Abstract. An automated method for segmenting the outer boundary of abdominal aortic aneurysms in MR images is presented. The method is based on the well known Active Shape Models (...
Marleen de Bruijne, Bram van Ginneken, Lambertus W...