1302 search results - page 115 / 261 » Fair Equivalence Relations |
150
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Structural alignment is an important step in protein comparison. Well-established methods exist for solving this problem under the assumption that the structures under...
190
click to vote
COLING
2010
15 years 25 days ago
2010
The presentation will mainly cover (1) What is HowNet? HowNet is an on-line common-sense knowledgebase unveiling inter-conceptual relationships and interattribute relationships of...
142
click to vote
CLEF
2003
Springer
15 years 11 months ago
2003
Springer
The aim of this project is the automatic conversion of query terms in one language into their equivalents in a second, historically related, language, so that documents in the sec...
193
click to vote
POPL
1991
ACM
15 years 9 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
169
click to vote
AAAI
2008
15 years 8 months ago
2008
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...