Search Sciweavers | Sciweavers

3706 search results - page 64 / 742

» KtSeqC: System Description

185

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

IMPS: System Description

15 years 10 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 »

120

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 10 months ago

Download www.aclweb.org

Kazunori Muraki, Shinichi Doi, Shinichi Ando

claim paper

Read More »

126

click to vote

MUC
1993

89views Natural Language Processing» more MUC 1993»

Description of the LINK system used for MUC-5

15 years 10 months ago

Download www.aclweb.org

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

claim paper

Read More »

158

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 10 months ago

Download www.aclweb.org

William W. Noah, Rollin V. Weeks

claim paper

Read More »

142

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers