1813 search results - page 283 / 363 » Constraint Based Methods for Biological Sequence Analysis |
153
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
154
Voted
ICLP
1997
Springer
15 years 8 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
197
Voted
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
This paper concerns the discovery of patterns in gene expression matrices, in which each element gives the expression level of a given gene in a given experiment. Most existing me...
166
Voted
CVPR
2008
IEEE
15 years 3 months ago
2008
IEEE
We propose a novel meshless deformable model for in vivo cardiac left ventricle (LV) 3D motion estimation. As a relatively new technology, tagged MRI (tMRI) provides a direct and ...
162
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...