Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
3718
search results - page 30 / 744
»
IMPS: System Description
Sort
relevance
views
votes
recent
update
View
thumb
title
27
click to vote
CADE
2006
Springer
126
views
Logical Reasoning
»
more
CADE 2006
»
System Description: GCLCprover + GeoThms
14 years 6 days ago
Download
www.mat.uc.pt
Predrag Janicic, Pedro Quaresma
claim paper
Read More »
21
click to vote
RAID
2000
Springer
95
views
Computer Networks
»
more
RAID 2000
»
Using Rule-Based Activity Descriptions to Evaluate Intrusion-Detection Systems
14 years 1 days ago
Download
www.raid-symposium.org
Dominique Alessandri
claim paper
Read More »
46
click to vote
MUC
1995
137
views
Natural Language Processing
»
more
MUC 1995
»
University of Manitoba: description of the PIE system used for MUC-6
14 years 21 hour ago
Download
www.aclweb.org
Dekang Lin
claim paper
Read More »
26
click to vote
MUC
1995
95
views
Natural Language Processing
»
more
MUC 1995
»
SRA: description of the SRA system as used for MUC-6
14 years 21 hour ago
Download
www.aclweb.org
George R. Krupka
claim paper
Read More »
27
click to vote
MUC
1995
134
views
Natural Language Processing
»
more
MUC 1995
»
Description of the UMass system as used for MUC-6
14 years 21 hour ago
Download
staff.um.edu.mt
David Fisher, Stephen Soderland, Fangfang Feng, We...
claim paper
Read More »
« Prev
« First
page 30 / 744
Last »
Next »