3082 search results - page 325 / 617 » Deviation Analysis: A New Use of Model Checking |
159
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Tag-based techniques, such as SAGE, are commonly used to sample the mRNA pool of an organism's transcriptome. Incomplete digestion during the tag formation proces...
176
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
A new approach for power analysis of microprocessorshas recently been proposed [1]. The idea is to look at the power consumption in a microprocessor from the point of view of the ...
179
click to vote
ICSM
2007
IEEE
16 years 27 days ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
163
click to vote
SMI
2006
IEEE
16 years 18 days ago
2006
IEEE
We present a new approach for 3D model indexing and retrieval using 2D/3D shape descriptors based on silhouettes or depth-buffer images. To take into account the dispersion of inf...
194
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Statistical shape-and-texture appearance models employ image metamorphosis to form a rich, compact representation of object appearance. They achieve their efficiency by decomposin...