4926 search results - page 774 / 986 » Two Graph Algorithms On an Associative Computing Model |
CVPR
2010
IEEE
13 years 6 months ago
2010
IEEE
We address the problem of computing joint sparse representation of visual signal across multiple kernel-based representations. Such a problem arises naturally in supervised visual...
CONCUR
2007
Springer
14 years 2 days ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
PG
2002
IEEE
14 years 1 months ago
2002
IEEE
An active contour model for parametric curve and surface approximation is presented. The active curve or surface adapts to the model shape to be approximated in an optimization al...
DAC
2003
ACM
14 years 1 months ago
2003
ACM
Reduction of an extracted netlist is an important pre-processing step for techniques such as model order reduction in the design and analysis of VLSI circuits. This paper describe...
BMCBI
2007
13 years 8 months ago
2007
Background: Structural genomics initiatives are producing increasing numbers of threedimensional (3D) structures for which there is little functional information. Structure-based ...