Sciweavers

4880 search results - page 78 / 976
» Manuals as Structured Programs
Sort
View
83
Voted
ICIP
2007
IEEE
16 years 4 months ago
Tracing Curvilinear Structures in Live Cell Images
Tracing of curvilinear structures is one of the fundamental tools in the quantitative analysis of biological images, for extracting information about structures such as blood vess...
Mehmet Emre Sargin, Alphan Altinok, Kenneth Rose, ...
156
Voted
MICCAI
2008
Springer
16 years 3 months ago
Markov Dependence Tree-Based Segmentation of Deep Brain Structures
We propose a new framework for multi-object segmentation of deep brain structures, which have significant shape variations and relatively small sizes in medical brain images. In th...
Jue Wu, Albert C. S. Chung
129
Voted
ICCD
2003
IEEE
127views Hardware» more  ICCD 2003»
15 years 11 months ago
Structural Detection of Symmetries in Boolean Functions
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangi...
120
Voted
PVLDB
2010
131views more  PVLDB 2010»
15 years 29 days ago
XSACT: A Comparison Tool for Structured Search Results
Studies show that about 50% of web search is for information exploration purpose, where a user would like to investigate, compare, evaluate, and synthesize multiple relevant resul...
Ziyang Liu, Sivaramakrishnan Natarajan, Peng Sun, ...
150
Voted
CODES
2010
IEEE
14 years 12 months ago
Automatic memory partitioning: increasing memory parallelism via data structure partitioning
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
Yosi Ben-Asher, Nadav Rotem