3898 search results - page 601 / 780 » On the Bit Extraction Problem |
186
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
188
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Realistic simulation of interacting virtual characters is essential in computer games, training and simulation applications. The problem is very challenging since people ...
154
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the problem of securing the delivery of scalable video streams so that receivers can ensure the authenticity (originality and integrity) of the video. Our focus is ...
202
click to vote
PCM
2009
Springer
16 years 1 months ago
2009
Springer
Recently, the bag-of-words (BOW) based image representation is getting popular in object categorization. However, there is no available visual vocabulary and it has to be learned. ...
157
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Unlike traditional game playing, General Game Playing is concerned with agents capable of playing classes of games. Given the rules of an unknown game, the agent is supposed to pla...