Sciweavers

3536 search results - page 230 / 708
» Local dependent components
Sort
View
107
Voted
APN
2007
Springer
15 years 9 months ago
Improving Static Variable Orders Via Invariants
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqi...
MICCAI
2004
Springer
16 years 4 months ago
Interface Detection in Diffusion Tensor MRI
We present a new method for detecting the interface, or edge, structure present in diffusion MRI. Interface detection is an important first step for applications including segmenta...
Lauren O'Donnell, W. Eric L. Grimson, Carl-Fredrik...
DATE
2009
IEEE
102views Hardware» more  DATE 2009»
15 years 10 months ago
Register placement for high-performance circuits
—In modern sub-micron design, achieving low-skew clock distributions is facing challenges for high-performance circuits. Symmetric global clock distribution and clock tree synthe...
Mei-Fang Chiang, Takumi Okamoto, Takeshi Yoshimura
117
Voted
MIAR
2006
IEEE
15 years 9 months ago
Robust Click-Point Linking for Longitudinal Follow-Up Studies
This paper proposes a novel framework for robust click-point linking: efficient localized registration that allows users to interactively prescribe where the accuracy has to be hig...
Kazunori Okada, Xiaolei Huang, Xiang Zhou, Arun Kr...
142
Voted
ALGOSENSORS
2009
Springer
15 years 10 months ago
Compressing Kinetic Data from Sensor Networks
We introduce a framework for storing and processing kinetic data observed by sensor networks. These sensor networks generate vast quantities of data, which motivates a significant...
Sorelle A. Friedler, David M. Mount