Sciweavers

528 search results - page 71 / 106
» Construction of concrete verification models from C
Sort
View
HPCA
2007
IEEE
14 years 9 months ago
Illustrative Design Space Studies with Microarchitectural Regression Models
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...
Benjamin C. Lee, David M. Brooks
SAC
2005
ACM
14 years 2 months ago
A hierarchical naive Bayes mixture model for name disambiguation in author citations
Because of name variations, an author may have multiple names and multiple authors may share the same name. Such name ambiguity affects the performance of document retrieval, web ...
Hui Han, Wei Xu, Hongyuan Zha, C. Lee Giles
ICCV
2007
IEEE
14 years 10 months ago
Modeling Brain Anatomy with 3D Arrangements of Curves
We employ 3D arrangements of curves to represent and analyze biological shapes, in particular, the anatomy of the human brain. The arrangements of curves may vary from fairly spar...
Washington Mio, John C. Bowers, Monica K. Hurdal, ...
MVA
1990
13 years 9 months ago
Descriptive Ability of Drawing Image Understanding Framework Using State Transition Models
It is strongly desired to construct multimedia databases especially of maps or engineering drawings. If these databases are intended to be used really effectively, original drawin...
Shin'ichi Satoh, Masao Sakauchi
SIAMCOMP
1998
111views more  SIAMCOMP 1998»
13 years 8 months ago
Computing the Local Consensus of Trees
The inference of consensus from a set of evolutionary trees is a fundamental problem in a number of fields such as biology and historical linguistics, and many models for inferrin...
Sampath Kannan, Tandy Warnow