8699 search results - page 247 / 1740 » Elements of the Theory of Computation |
144
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Recent work in matting, hole filling, and compositing allows image elements to be mixed in a new composite image. Previous algorithms for matting foreground elements have assumed ...
138
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
For many users with a disability it can be difficult or impossible to use a computer mouse to navigate the web. An alternative way to select elements on a web page is the label ty...
165
click to vote
ICCV
2007
IEEE
16 years 29 days ago
2007
IEEE
This article proposes an active basis model and a shared pursuit algorithm for learning deformable templates from image patches of various object categories. In our generative mod...
179
click to vote
RTA
2005
Springer
16 years 3 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
145
click to vote
AISC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...