124
Voted
ACMACE
2009
ACM
15 years 8 months ago
2009
ACM
The Zuzen framework is an intelligent tool set for assisting in the generation of machinima. With Zuzen, users that are novice cinematographers do not need to use complex movie-ma...
176
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...
179
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where pl...
165
click to vote
ACIVS
2009
Springer
15 years 8 months ago
2009
Springer
The temporal segmentation of a video into shots is a fundamental prerequisite for video retrieval. There are two types of shot boundaries: abrupt shot changes (“cuts”) and grad...
134
Voted
AINA
2010
IEEE
15 years 8 months ago
2010
IEEE
