1623 search results - page 114 / 325 » No Sorting |
285
click to vote
Book
"This is the (work in progress) book "Algorithms for Programmers". Publication as soon as possible, content is (modulo copy editing) close to final version. I will p...
122
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, a computer vision based system is introduced to automatically sort apple fruits. An artificial neural network segments the defected regions on fruit by pixel-wise p...
165
click to vote
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
In this paper we describe an interactive video object segmentation tool developed in the framework of the ACTSAC098 MOMUSYS project. The Video Object Generator with User Environme...
114
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
A method is proposed to detect multi-part man-made or natural objects in complex images. It consists in first extracting simple curves and straight lines from the edge map. Then, ...
120
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...