1973 search results - page 333 / 395 » The Construction of Ludic Space |
TOPLAS
2010
14 years 10 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
127
click to vote
ECCV
2010
Springer
14 years 10 months ago
2010
Springer
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
113
click to vote
EGH
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents a more efficient way of computing single scattering effects in homogeneous participating media for real-time purposes than the currently popular ray-marching b...
EMNLP
2010
14 years 10 months ago
2010
In modern machine translation practice, a statistical phrasal or hierarchical translation system usually relies on a huge set of translation rules extracted from bi-lingual traini...
FSTTCS
2010
Springer
14 years 9 months ago
2010
Springer
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...