Search Sciweavers | Sciweavers

4212 search results - page 14 / 843

» On Compressible Pairings and Their Computation

click to vote

JCS
2010

58views more JCS 2010»

Computationally sound analysis of protocols using bilinear pairings

14 years 11 months ago

Download www.lsv.ens-cachan.fr

Steve Kremer, Laurent Mazaré

claim paper

Read More »

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

14 years 10 months ago

Download www.ki.informatik.uni-frankfurt.de

Conrad Rau, Manfred Schmidt-Schauß

claim paper

Read More »

Voted

ACL
2008

128views Computational Linguistics» more ACL 2008»

Mining Wikipedia Revision Histories for Improving Sentence Compression

15 years 1 months ago

Download www.aclweb.org

A well-recognized limitation of research on supervised sentence compression is the dearth of available training data. We propose a new and bountiful resource for such training dat...

Elif Yamangil, Rani Nelken

claim paper

Read More »

click to vote

DCC
2007
IEEE

114views Computer Graphics» more DCC 2007»

Compressed Delta Encoding for LZSS Encoded Files

16 years 1 days ago

Download www.cs.brandeis.edu

We explore the Full Compressed Delta Encoding problem in compressed texts, defined as the problem of constructing a delta file directly from the two given compressed files, withou...

Shmuel T. Klein, Dana Shapira

claim paper

Read More »

Voted

DCC
2008
IEEE

91views Computer Graphics» more DCC 2008»

Text Pre-processing for Lossless Compression

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers