4623 search results - page 539 / 925 » Knowledge Representation on the Web |
125
click to vote
MKM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
MKM
2005
Springer
15 years 5 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
102
click to vote
SG
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Bayesian nets (BNs) appeared in the 1980s as a solution to computational and representational problems encountered in knowledge representation of uncertain information. S...
102
click to vote
KELSI
2004
Springer
15 years 5 months ago
2004
Springer
Predictive toxicology is the task of building models capable of determining, with a certain degree of accuracy, the toxicity of chemical compounds. Machine Learning (ML) in general...
SSPR
2004
Springer
15 years 5 months ago
2004
Springer
Concavity trees are structures for 2-D shape representation. In this paper, we present a new recursive method for concavity tree matching that returns the distance between two attr...