Sciweavers

1224 search results - page 16 / 245
» Categories of Containers
Sort
View
KCAP
2009
ACM
14 years 2 months ago
Incremental summarization using taxonomy
In this paper, a new summarization system is proposed, which summarizes a document by interactively scoring the sentences using already-extracted summary so that the sentence whic...
DongHyun Choi, Key-Sun Choi
MINENET
2005
ACM
14 years 1 months ago
Anemone: using end-systems as a rich network management platform
Enterprise networks contain hundreds, if not thousands, of cooperative end-systems. We advocate devoting a small fraction of their idle cycles, free disk space and network bandwid...
Richard Mortier, Rebecca Isaacs, Paul Barham
ECCC
2002
68views more  ECCC 2002»
13 years 7 months ago
Bi-Immunity Separates Strong NP-Completeness Notions
We prove that if for some > 0, NP contains a set that is DTIME(2n )-bi-immune, then NP contains a set that is 2-Turing complete for NP (hence 3-truth-table complete) but not 1-t...
Aduri Pavan, Alan L. Selman
IANDC
2010
125views more  IANDC 2010»
13 years 6 months ago
Continuation semantics for the Lambek-Grishin calculus
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
Raffaella Bernardi, Michael Moortgat
WWW
2004
ACM
14 years 8 months ago
A diagrammatic inference system for the web
We developed a diagrammatic inference system for the World Wide Web. Our system enables the creation of diagrams such that the information contained in them can be searched and in...
Michael Wollowski, Peter Nei, Chris Barrell