923 search results - page 15 / 185 » The Computational Structure of Progress Conditions |
108
click to vote
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Protein fold recognition is an important step towards understanding protein three-dimensional structures and their functions. A conditional graphical model, i.e. segmenta...
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
In this paper, the geometry of a general class of projections from ??? to ?! is examined, as a generalization of classic multiple view geometry in computer vision. It is shown that...
110
click to vote
ASC
2007
14 years 9 months ago
2007
We present the results of our investigation into the use of Genetic Algorithms (GAs) for identifying near optimal design parameters of diagnostic systems that are based on Artifici...
101
click to vote
DAGSTUHL
2001
14 years 11 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
78
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— This paper extends a state projection method for structure preserving model reduction to situations where only a weaker notion of system structure is available. This weaker not...