Search Sciweavers | Sciweavers

3706 search results - page 25 / 742

» OntoComP System Description

121

click to vote

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

15 years 7 months ago

Download www.mat.uc.pt

Predrag Janicic, Pedro Quaresma

claim paper

Read More »

115

click to vote

RAID
2000
Springer

95views Computer Networks» more RAID 2000»

Using Rule-Based Activity Descriptions to Evaluate Intrusion-Detection Systems

15 years 7 months ago

Download www.raid-symposium.org

Dominique Alessandri

claim paper

Read More »

163

click to vote

MUC
1995

137views Natural Language Processing» more MUC 1995»

University of Manitoba: description of the PIE system used for MUC-6

15 years 7 months ago

Download www.aclweb.org

Dekang Lin

claim paper

Read More »

click to vote

MUC
1995

95views Natural Language Processing» more MUC 1995»

SRA: description of the SRA system as used for MUC-6

15 years 7 months ago

Download www.aclweb.org

George R. Krupka

claim paper

Read More »

103

click to vote

MUC
1995

134views Natural Language Processing» more MUC 1995»

Description of the UMass system as used for MUC-6

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers