Sciweavers

450 search results - page 51 / 90
» Mathematical Formulas Extraction
Sort
View
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 10 months ago
A Formal Measure of Machine Intelligence
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems whic...
Shane Legg, Marcus Hutter
PRL
2000
95views more  PRL 2000»
13 years 9 months ago
Neural network-based fuzzy observer with application to facial analysis
Human facial wrinkles can be eectively utilized for facial analysis. It is not an easy task, however, to extract features of wrinkledness directly from a camera image of a human f...
Gyu-tae Park, Zeungnam Bien
MEMICS
2010
13 years 4 months ago
Efficient Computation of Morphological Greyscale Reconstruction
Morphological reconstruction is an important image operator from mathematical morphology. It is very often used for filtering, segmentation, and feature extraction. However, its c...
Pavel Karas
SOFSEM
2010
Springer
14 years 6 months ago
Finding and Certifying Loops
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
Harald Zankl, Christian Sternagel, Dieter Hofbauer...
ACIVS
2009
Springer
14 years 4 months ago
Attributed Graph Matching Using Local Descriptions
Abstract. In the pattern recognition context, objects can be represented as graphs with attributed nodes and edges involving their relations. Consequently, matching attributed grap...
Salim Jouili, Ines Mili, Salvatore Tabbone