Sciweavers

2312 search results - page 220 / 463
» Invariance in Property Testing
Sort
View
ACCV
2009
Springer
15 years 11 months ago
Weighted Map for Reflectance and Shading Separation Using a Single Image
In real world, a scene is composed by many characteristics. Intrinsic images represent these characteristics by two components, reflectance (the albedo of each point) and shading (...
Sung-Hsien Hsieh, Chih-Wei Fang, Te-Hsun Wang, Chi...
ICASSP
2008
IEEE
15 years 11 months ago
Image inpainting with a wavelet domain Hidden Markov tree model
We present a novel technique for image inpainting, the problem of filling-in missing image parts. Image inpainting is ill-posed and we adopt a probabilistic model-based approach ...
George Papandreou, Petros Maragos, Anil Kokaram
MEMOCODE
2007
IEEE
15 years 11 months ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer
TPHOL
2005
IEEE
15 years 10 months ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
WACV
2005
IEEE
15 years 10 months ago
Simultaneous Localization and Recognition of Dynamic Hand Gestures
A method for the simultaneous localization and recognition of dynamic hand gestures is proposed. At the core of this method is a dynamic space-time warping (DSTW) algorithm, that ...
Jonathan Alon, Vassilis Athitsos, Quan Yuan, Stan ...