3690 search results - page 622 / 738 » Computation with classical sequents |
107
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
2010
Eurographics
In this paper we show how to use two-colored pixels as a generic tool for image processing. We apply twocolored pixels as a basic operator as well as a supporting data structure f...
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper we propose a framework for gradient descent
image alignment in the Fourier domain. Specifically,
we propose an extension to the classical Lucas & Kanade
(LK) a...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Painting on 3D surfaces is an important operation in computer graphics, virtual reality, and computer aided design. The painting styles in existing WYSIWYG systems can be awkward,...
ICDCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Biclustering refers to simultaneously capturing correlations present among subsets of attributes (columns) and records (rows). It is widely used in data mining applications includ...
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...