15416 search results - page 387 / 3084 » Embeddings of Computable Structures |
219
click to vote
COCO
2010
Springer
15 years 11 months ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
263
click to vote
ADVIS
2006
Springer
16 years 1 months ago
2006
Springer
Investments on multimedia technology enable us to store many more reflections of the real world in digital world as videos. By recording videos about real world entities, we carry...
248
click to vote
MVA
2007
15 years 9 months ago
2007
In this paper we present an evaluation method for stereo matching systems and sensors especially for real world indoor applications. We estimate ground truth reference images by i...
211
click to vote
CVPR
2010
IEEE
16 years 4 months ago
2010
IEEE
A number of 3D shape reconstruction algorithms, in particular 3D image segmentation methods, produce their results in the form of binary volumes, where a binary value indicates whe...
200
click to vote
MIDDLEWARE
2005
Springer
16 years 1 months ago
2005
Springer
This paper outlines the benefits of adopting serviceoriented architectures at the level of communications between resource-constrained embedded devices, in particular for industri...