4272 search results - page 129 / 855 » A Case for Automatic System Evaluation |
163
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Initialization and choice of adequate motion models are two important but seldom discussed problems in 3D modelbased pose (position and orientation) tracking. In this paper, we pr...
144
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
178
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
233
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
Robotics is a challenging domain that exhibits a clear need for self-adaptive capabilities, as self-adaptation offers the potential for robots to account for their unstable and unp...
166
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Efficient hardware architectures for the Luffa hash algorithm are proposed in this work. We explore different tradeoffs and propose several architectures, targeting both compac...