2351 search results - page 277 / 471 » A Method of Requirement Inconsistency Analysis |
196
click to vote
FORTE
1994
15 years 6 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
157
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Ab initio protein structure prediction methods generate numerous structural candidates, which are referred to as decoys. The decoy with the most number of neighbors of...
144
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Maximum parsimony phylogenetic tree reconstruction from genetic variation data is a fundamental problem in computational genetics with many practical applications in p...
156
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Phylogenetic analysis can be used to divide a protein family into subfamilies in the absence of experimental information. Most phylogenetic analysis methods utilize mu...
179
click to vote
JUCS
2010
15 years 3 months ago
2010
: Algorithms for 3D head pose and facial expression tracking using a single camera (monocular image sequences) is presented in this paper. The proposed method is based on a combina...