Sciweavers

24444 search results - page 4193 / 4889
» A Data Model for Data Integration
Sort
View
DAC
2008
ACM
16 years 8 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
2005
ACM
16 years 8 months ago
A lattice-based framework for the classification and design of asynchronous pipelines
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
Peggy B. McGee, Steven M. Nowick
MICCAI
2006
Springer
16 years 8 months ago
Spinal Crawlers: Deformable Organisms for Spinal Cord Segmentation and Analysis
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
Chris McIntosh, Ghassan Hamarneh
MICCAI
2004
Springer
16 years 8 months ago
Solving Incrementally the Fitting and Detection Problems in fMRI Time Series
We tackle the problem of real-time statistical analysis of functional magnetic resonance imaging (fMRI) data. In a recent paper, we proposed an incremental algorithm based on the e...
Alexis Roche, Philippe Pinel, Stanislas Dehaene, J...
IPMI
2003
Springer
16 years 8 months ago
Gaussian Distributions on Lie Groups and Their Application to Statistical Shape Analysis
The Gaussian distribution is the basis for many methods used in the statistical analysis of shape. One such method is principal component analysis, which has proven to be a powerfu...
P. Thomas Fletcher, Sarang C. Joshi, Conglin Lu, S...
« Prev « First page 4193 / 4889 Last » Next »