3108 search results - page 198 / 622 » The Elements of Computer Credibility |
151
click to vote
CIE
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Let Fq be a finite field with q elements. We produce an (effective) elimination of quantifiers for the structure of the set of polynomials, Fq[t], of one variable, in...
118
click to vote
ICPR
2008
IEEE
16 years 21 days ago
2008
IEEE
We propose a film directing semantics taxonomy grounded upon cinematographic elements to unlock the immense potential for motion indexing in the subtler and much neglected film do...
160
click to vote
ISMAR
2008
IEEE
16 years 19 days ago
2008
IEEE
This paper describes an artwork that relies on recent Computer Vision and Augmented Reality techniques to animate the illustrations of a poetry book. Because we don’t need marke...
151
click to vote
DBPL
2007
Springer
16 years 12 days ago
2007
Springer
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
150
Voted
FCT
2007
Springer
16 years 12 days ago
2007
Springer
We present new combinatorial approximation algorithms for k-set cover. Previous approaches are based on extending the greedy algorithm by efficiently handling small sets. The new a...