316 search results - page 7 / 64 » Extraction of Logical Structure from Articles in Mathematics |
COLING
2008
13 years 9 months ago
2008
We propose a new integrated approach based on Markov logic networks (MLNs), an effective combination of probabilistic graphical models and firstorder logic for statistical relatio...
TPHOL
2003
IEEE
14 years 26 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
ICNSC
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper discusses some useful image processing techniques for an ultrasound image using adaptive morphological operations. They are defined in such a way that the used structur...
CAD
2007
Springer
13 years 7 months ago
2007
Springer
In this paper, we propose a novel method of body feature extraction from a marker-less scanned body. The descriptions of human body features mostly defined in ASTM (1999) and ISO...
CLEF
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...