<--- Back to Details
First PageDocument Content
Computational linguistics / Automatic summarization / Data mining / Information retrieval / Multi-document summarization / Readability / Style / Description / Sentence / Linguistics / Natural language processing / Science
Date: 2006-01-03 11:31:42
Computational linguistics
Automatic summarization
Data mining
Information retrieval
Multi-document summarization
Readability
Style
Description
Sentence
Linguistics
Natural language processing
Science

Add to Reading List

Source URL: duc.nist.gov

Download Document from Source Website

File Size: 80,92 KB

Share Document on Facebook

Similar Documents

Christianity / Schedule / Christian theology / Metatheory / Theory of justification / Deliverable / Evaluation / Milestone / Justification / Theology

GRANT PROPOSAL PROBLEM DESCRIPTION Please define a Grant Type (see above). What problem do you want to solve? Why is it a problem?

DocID: 1xVQW - View Document

Logic / Non-classical logic / Mathematical logic / Metaphysics / Philosophical logic / Artificial intelligence / Description logic / Information science / Model theory / Modal logic / First-order logic / Web Ontology Language

Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

DocID: 1xVOl - View Document

Proof assistants / Logic in computer science / Theoretical computer science / Mathematical logic / Isabelle / HOL / Logic for Computable Functions

Introduction System Description Evaluation Conclusions, Future Work Efficiently Checking

DocID: 1xVyr - View Document

Geometry / Algebraic geometry / Algebra / Fano variety / Birational geometry / Divisor / Projective variety / Morphism of algebraic varieties / Ample line bundle / Minimal model program / Canonical bundle / Fano surface

HOW TO CLASSIFY FANO VARIETIES? OLIVIER DEBARRE Abstract. We review some of the methods used in the classification of Fano varieties and the description of their birational geometry. Mori theory brought important simplif

DocID: 1xVpX - View Document

Mathematical logic / Metalogic / Logic / Proof theory / X0 / First-order logic / Leitsch / Sequent calculus

System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal

DocID: 1xVjW - View Document