972 search results - page 12 / 195 » Intersection types and computational effects |
JSYML
2008
13 years 7 months ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
COMPGEOM
2004
ACM
14 years 1 months ago
2004
ACM
This paper presents an algorithm for sampling and triangulating a generic C2 -smooth surface Σ ⊂ R3 that is input with an implicit equation. The output triangulation is guarant...
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
—We describe a pipeline for structure-from-motion with mixed camera types, namely omnidirectional and perspective cameras. The steps of the pipeline can be summarized as calibrat...
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
With rapid advances in video processing technologies and ever fast increments in network bandwidth, the popularity of video content publishing and sharing has made similarity sear...
EUROGRAPHICS
2010
Eurographics
14 years 3 months ago
2010
Eurographics
We present a novel approach to ray tracing execution on commodity graphics hardware using CUDA. We decompose
a standard ray tracing algorithm into several data-parallel stages tha...