1585 search results - page 218 / 317 » A framework for computer-aided validation |
132
click to vote
ALT
2006
Springer
16 years 27 days ago
2006
Springer
Abstract. This paper introduces a framework for quantum exact learning via queries, the so-called quantum protocol. It is shown that usual protocols in the classical learning setti...
128
click to vote
PEPM
2009
ACM
16 years 25 days ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
171
Voted
Publication
We present a novel reranking framework for Content Based Image Retrieval (CBIR) systems based on con-textual dissimilarity measures. Our work revisit and extend the method of Perro...
135
click to vote
CVPR
2010
IEEE
16 years 2 days ago
2010
IEEE
We present a practical approach for surface reconstruction of smooth mirror-like objects using sparse reflection correspondences (RCs). Assuming finite object motion with a fix...
158
Voted
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...