998 search results - page 75 / 200 » From Feasible Proofs to Feasible Computations |
95
Voted
JAR
2006
15 years 1 months ago
2006
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates de...
123
click to vote
DL
1999
Springer
15 years 6 months ago
1999
Springer
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...
106
Voted
IJCAI
1989
15 years 2 months ago
1989
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...
115
click to vote
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
A recent trend in digital mammography are Computer-Aided Diagnosis systems, which are computerised tools designed to assist radiologists. Most of these systems are used for the au...
112
Voted
HYPERTEXT
2009
ACM
15 years 11 months ago
2009
ACM
Annotations represent an increasingly popular means for organizing, categorizing and finding resources on the “social” web. Yet, only a small portion of the total resources av...