2436 search results - page 180 / 488 » Comonadic Notions of Computation |
113
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...
149
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper proposes a unified framework for spatiotemporal segmentation of video sequences. A Bayesian network is presented to model the interactions among the motion vector field...
137
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
One of the classic problems in low level vision is image restoration. An important contribution toward this effort has been the development of shock filters by Osher and Rudin [1]...
124
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
138
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
The aim of this work is to propose an adaptation of optimal path based interactive tools for image segmentation (related to Live-Wire [12] and Intelligent Scissors [18] approaches)...