797 search results - page 126 / 160 » Eliminating Proofs from Programs |
AMAI
2004
Springer
14 years 3 months ago
2004
Springer
The Minimax Probability Machine (MPM) constructs a classifier, which provides a worst-case bound on the probability of misclassification of future data points based on reliable ...
CPAIOR
2004
Springer
14 years 3 months ago
2004
Springer
We discuss a di cult optimization problem on a chess-board, requiring equal numbers of black and white queens to be placed on the board so that the white queens cannot attack the b...
LCTRTS
2004
Springer
14 years 3 months ago
2004
Springer
The overhead in terms of code size, power consumption and execution time caused by the use of precompiled libraries and separate compilation is often unacceptable in the embedded ...
ISMAR
2003
IEEE
14 years 3 months ago
2003
IEEE
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
ISCA
2010
IEEE
14 years 3 months ago
2010
IEEE
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...