Sciweavers

3001 search results - page 223 / 601
» Recursive type generativity
Sort
View
MICCAI
2009
Springer
15 years 11 months ago
A Dynamical Shape Prior for LV Segmentation from RT3D Echocardiography
Real-time three-dimensional (RT3D) echocardiography is the newest generation of three-dimensional (3-D) echocardiography. Segmentation of RT3D echocardiographic images is essential...
Yun Zhu, Xenophon Papademetris, Albert J. Sinusas,...
ASPDAC
1998
ACM
81views Hardware» more  ASPDAC 1998»
15 years 10 months ago
A Heuristic Algorithm to Design AND-OR-EXOR Three-Level Networks
—An AND-OR-EXOR network, where the output EXOR gate has only two inputs, is one of the simplest three-level architecture. This network realizes an EXOR of two sum-of-products exp...
Debatosh Debnath, Tsutomu Sasao
COMPGEOM
1997
ACM
15 years 10 months ago
Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
Hervé Brönnimann, Ioannis Z. Emiris, V...
ICCAD
1994
IEEE
114views Hardware» more  ICCAD 1994»
15 years 10 months ago
Performance-driven synthesis of asynchronous controllers
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas ...
ER
2006
Springer
123views Database» more  ER 2006»
15 years 10 months ago
A Quantitative Summary of XML Structures
Statistical summaries in relational databases mainly focus on the distribution of data values and have been found useful for various applications, such as query evaluation and data...
Zi Lin, Bingsheng He, Byron Choi