Sciweavers

13367 search results - page 263 / 2674
» Introduction to Computer Vision
Sort
View
ECEASST
2010
15 years 4 months ago
Stochastic Graph Transformation with Regions
Paolo Torrini, Reiko Heckel, István R&aacut...
118
Voted
ECEASST
2010
15 years 4 months ago
Decidable Race Condition and Open Coregions in HMSC
Vojtech Rehák, Petr Slovák, Jan Stre...
ECEASST
2010
15 years 4 months ago
A Deductive Verification Platform for Cryptographic Software
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe...
CVPR
2011
IEEE
15 years 3 months ago
Wavelet Belief Propagation for Large Scale Inference Problems
Ruxandra Lasowski, Art Tevs, Michael Wand, Hans-Pe...
CVPR
2011
IEEE
15 years 3 months ago
A Probabilistic Model for Recursive Factorized Image Features
Sergey Karayev, Mario Fritz, Sanja Fidler, Trevor ...