Sciweavers

1000 search results - page 37 / 200
» order 2011
Sort
View
CVPR
2011
IEEE
14 years 8 months ago
Occlusion Boundary Detection and Figure/Ground Assignment from Optical Flow
In this work, we propose a contour and region detector for video data that exploits motion cues and distinguishes occlusion boundaries from internal boundaries based on optical ļ¬...
Patrik Sundberg, Jitendra Malik, Michael Maire, Pa...
CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 6 months ago
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be...
Nick Bezhanishvili, Mai Gehrke
CPHYSICS
2011
200views Education» more  CPHYSICS 2011»
14 years 6 months ago
Adaptable Particle-in-Cell algorithms for graphical processing units
We developed new parameterized Particle-in-Cell algorithms and data structures for emerging multi-core and many-core architectures. Four parameters allow tuning of this PIC code t...
Viktor K. Decyk, Tajendra V. Singh
KI
2011
Springer
14 years 6 months ago
A Parallel General Game Player
We have parallelized our general game player Ary on a cluster of computers. We propose multiple parallelization algorithms. For the sake of simplicity all our algorithms have proce...
Jean Méhat, Tristan Cazenave
MST
2011
206views Hardware» more  MST 2011»
14 years 6 months ago
Weighted Logics for Unranked Tree Automata
: We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two conce...
Manfred Droste, Heiko Vogler