2308 search results - page 73 / 462 » Representing Symbolic Reasoning |
157
Voted
NAR
2002
15 years 5 months ago
2002
Genew, the Human Gene Nomenclature Database, is the only resource that provides data for all human genes which have approved symbols. It is managed by the HUGO Gene Nomenclature C...
130
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
156
click to vote
ICANN
2003
Springer
15 years 10 months ago
2003
Springer
: This paper addresses the problem of emotion recognition in faces through an intelligent neuro-fuzzy system, which is capable of analysing facial features extracted following the ...
151
click to vote
ECML
2000
Springer
15 years 10 months ago
2000
Springer
We examine the role of simplicity in directing the induction of context-free grammars from sample sentences. We present a rational reconstruction of Wol 's SNPR { the Gridssys...
136
click to vote
IJCAI
1989
15 years 6 months ago
1989
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...