Sciweavers

514 search results - page 42 / 103
» On enumerating all minimal solutions of feedback problems
Sort
View
RECOMB
2004
Springer
16 years 29 days ago
The evolutionary capacity of protein structures
In nature, one finds large collections of different protein sequences exhibiting roughly the same three-dimensional structure, and this observation underpins the study of structur...
Leonid Meyerguz, David Kempe, Jon M. Kleinberg, Ro...
ICCAD
1995
IEEE
94views Hardware» more  ICCAD 1995»
15 years 4 months ago
Test register insertion with minimum hardware cost
Implementing a built-in self-test by a "test per clock" scheme offers advantages concerning fault coverage, detection of delay faults, and test application time. Such a ...
Albrecht P. Stroele, Hans-Joachim Wunderlich
101
Voted
IVC
2006
133views more  IVC 2006»
15 years 18 days ago
A subspace method for projective reconstruction from multiple images with missing data
In this paper, we consider the problem of projective reconstruction based on the subspace method. Unlike existing subspace methods which require that all the points are visible in...
W. K. Tang, Y. S. Hung
96
Voted
CDC
2008
IEEE
15 years 7 months ago
Convex duality and entropy-based moment closures: Characterizing degenerate densities
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
Cory D. Hauck, C. David Levermore, André L....
134
Voted
FMCAD
2000
Springer
15 years 4 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...