7335 search results - page 1210 / 1467 » Scene Based Reasoning |
151
click to vote
WECWIS
2005
IEEE
16 years 3 days ago
2005
IEEE
We consider truthful online auctions that aim at optimizing sellers’ revenues, representing service contributors’ satisfactions, as a general model for pricing peer-to-peer se...
201
click to vote
HASKELL
2005
ACM
16 years 3 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
143
click to vote
MMSEC
2005
ACM
16 years 3 days ago
2005
ACM
In this work we propose a new algorithm for fragile, high capacity yet file-size preserving watermarking of MPEG-2 streams. Watermarking is done entirely in the compressed domain,...
160
click to vote
SIGIR
2005
ACM
16 years 3 days ago
2005
ACM
Existing retrieval models generally do not offer any guarantee for optimal retrieval performance. Indeed, it is even difficult, if not impossible, to predict a model’s empirica...
153
click to vote
AIED
2005
Springer
16 years 3 days ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...