1585 search results - page 240 / 317 » A framework for computer-aided validation |
134
Voted
ICCV
2003
IEEE
15 years 9 months ago
2003
IEEE
Conventional tracking approaches assume proximity in space, time and appearance of objects in successive observations. However, observations of objects are often widely separated ...
113
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a framework to recognizing and recreating folding process of origami based on illustrations of origami drill books. Illustration images acquired from origami ...
129
click to vote
DMKD
2003
ACM
15 years 9 months ago
2003
ACM
Given a known protein sequence, predicting its secondary structure can help understand its three-dimensional (tertiary) structure, i.e., the folding. In this paper, we present an ...
126
click to vote
DMKD
2003
ACM
15 years 9 months ago
2003
ACM
We analyze expression matrices to identify a priori interesting sets of genes, e.g., genes that are frequently co-regulated. Such matrices provide expression values for given biol...
137
Voted
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...