488 search results - page 65 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
129
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
128
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Choosing the appropriate sample size is an important step in the design of a microarray experiment, and recently methods have been proposed that estimate sample sizes ...
105
Voted
JMM2
2007
15 years 3 months ago
2007
Abstract— In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
117
click to vote
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...
123
click to vote
3DIM
2001
IEEE
15 years 6 months ago
2001
IEEE
In this paper, we present our Dual-Beam Structured-Light Scanner (DSLS), a scanning system that generates range maps much richer than those obtained from a conventional structured...