Sciweavers

2083 search results - page 70 / 417
» Perception and Experience in Problem Solving
Sort
View
WACV
2005
IEEE
15 years 10 months ago
Image Segmentation by Unsupervised Sparse Clustering
In this paper, we present a novel solution of image segmentation based on positiveness by regarding the segmentation as one of the graph-theoretic clustering problems. On the cont...
Byoung-Ki Jeon, Yun-Beom Jung, Ki-Sang Hong
AAAI
1998
15 years 5 months ago
A Feature-Based Learning Method for Theorem Proving
Automatedreasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have manyshortcomings. The...
Matthias Fuchs
DAGM
2010
Springer
15 years 5 months ago
Uncertainty Driven Multi-scale Optimization
This paper proposes a new multi-scale energy minimization algorithm which can be used to efficiently solve large scale labelling problems in computer vision. The basic modus operan...
Pushmeet Kohli, Victor S. Lempitsky, Carsten Rothe...
ICASSP
2011
IEEE
14 years 8 months ago
Sparse video recovery using Linearly Constrained Gradient Projection
This paper concerns the reconstruction of a temporally-varying scene from a video sequence of noisy linear projections. Assuming that each video frame is sparse or compressible in...
Daniel Thompson, Zachary T. Harmany, Roummel F. Ma...
CEAS
2005
Springer
15 years 6 months ago
Computers beat Humans at Single Character Recognition in Reading based Human Interaction Proofs (HIPs)
Human interaction proofs (HIPs) have become commonplace on the internet for protecting free online services from abuse by automated scripts/bots. They are challenges designed to b...
Kumar Chellapilla, Kevin Larson, Patrice Y. Simard...