450 search results - page 66 / 90 » Mathematical Formulas Extraction |
JUCS
2007
15 years 4 months ago
2007
: In this paper we obtain new effective results on the Halpern iterations of nonexpansive mappings using methods from mathematical logic or, more specifically, proof-theoretic te...
157
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper presents an improvement of the classical Non-negative Matrix Factorization (NMF) approach, for dealing with local representations of image objects. NMF, when applied to...
140
Voted
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
We propose an efficient and novel approach for discovering communities in real-world random networks. Communities are formed by subsets of nodes in a graph, which are closely rela...
141
click to vote
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a new approach in the application of computer vision techniques to the diagnosis of solid breast tumors on ultrasound images. Most works related to medical imag...
139
Voted
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...