Search Sciweavers | Sciweavers

3719 search results - page 28 / 744

» RACER System Description

103

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

IMPS: System Description

15 years 1 months ago

Download imps.mcmaster.ca

network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...

William M. Farmer, Joshua D. Guttman, F. Javier Th...

claim paper

Read More »

click to vote

MUC
1993

107views Natural Language Processing» more MUC 1993»

NEC: description of the VENIEX system as used for MUC-5

15 years 1 months ago

Download www.aclweb.org

Kazunori Muraki, Shinichi Doi, Shinichi Ando

claim paper

Read More »

click to vote

MUC
1993

89views Natural Language Processing» more MUC 1993»

Description of the LINK system used for MUC-5

15 years 1 months ago

Download www.aclweb.org

Steven L. Lytinen, Robert R. Burridge, Peter M. Ha...

claim paper

Read More »

click to vote

MUC
1993

170views Natural Language Processing» more MUC 1993»

TRW: description of the DEFT system as used for MUC-5

15 years 1 months ago

Download www.aclweb.org

William W. Noah, Rollin V. Weeks

claim paper

Read More »

click to vote

MUC
1993

89views Natural Language Processing» more MUC 1993»

New York University: description of the Proteus system as used for MUC-5

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers