Sciweavers

    381 search results - page 69 / 77
    » host 2008
    Sort
    View
    WWW
    2008
    ACM
    91views Internet Technology» more  WWW 2008»
    IRLbot: scaling to 6 billion pages and beyond
    14 years 8 months ago
    IRLbot: scaling to 6 billion pages and beyond
    Download  irl.cs.tamu.edu
    This paper shares our experience in designing a web crawler that can download billions of pages using a single-server implementation and models its performance. We show that with ...
    Hsin-Tsang Lee, Derek Leonard, Xiaoming Wang, Dmit...
    claim paper
    Read More »
    WWW
    2008
    ACM
    144views Internet Technology» more  WWW 2008»
    Organizing and sharing distributed personal web-service data
    14 years 8 months ago
    Organizing and sharing distributed personal web-service data
    Download  www2008.org
    The migration from desktop applications to Web-based services is scattering personal data across a myriad of Web sites, such as Google, Flickr, YouTube, and Amazon S3. This disper...
    Roxana Geambasu, Cherie Cheung, Alexander Moshchuk...
    claim paper
    Read More »
    CADE
    2009
    Springer
    200views Logical Reasoning» more  CADE 2009»
    Progress in the Development of Automated Theorem Proving for Higher-Order Logic
    14 years 8 months ago
    Progress in the Development of Automated Theorem Proving for Higher-Order Logic
    Download  www.ags.uni-sb.de
    The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
    Chad E. Brown, Christoph Benzmüller, Frank Th...
    claim paper
    Read More »
    POPL
    2008
    ACM
    161views Programming Languages» more  POPL 2008»
    From dirt to shovels: fully automatic tool generation from ad hoc data
    14 years 8 months ago
    From dirt to shovels: fully automatic tool generation from ad hoc data
    Download  www.cs.princeton.edu
    An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
    Kathleen Fisher, David Walker, Kenny Qili Zhu, Pet...
    claim paper
    Read More »
    POPL
    2008
    ACM
    114views Programming Languages» more  POPL 2008»
    Foundations for structured programming with GADTs
    14 years 8 months ago
    Foundations for structured programming with GADTs
    Download  personal.cis.strath.ac.uk
    GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
    Patricia Johann, Neil Ghani
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.