Sciweavers

    15351 search results - page 2925 / 3071
    » The information bottleneck method
    Sort
    View
    WWW
    2003
    ACM
    182views Internet Technology» more  WWW 2003»
    SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions
    14 years 11 months ago
    SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions
    Download  ebusiness.mit.edu
    SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
    Benjamin N. Grosof, Terrence C. Poon
    claim paper
    Read More »
    WWW
    2002
    ACM
    197views Internet Technology» more  WWW 2002»
    Model checking cobweb protocols for verification of HTML frames behavior
    14 years 11 months ago
    Model checking cobweb protocols for verification of HTML frames behavior
    Download  rockfish-cs.cs.unc.edu
    HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
    P. David Stotts, Jaime Navon
    claim paper
    Read More »
    POPL
    2009
    ACM
    134views Programming Languages» more  POPL 2009»
    Masked types for sound object initialization
    14 years 11 months ago
    Masked types for sound object initialization
    Download  www.cs.cornell.edu
    This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
    Xin Qi, Andrew C. Myers
    claim paper
    Read More »
    POPL
    2009
    ACM
    123views Programming Languages» more  POPL 2009»
    Modular code generation from synchronous block diagrams: modularity vs. code size
    14 years 11 months ago
    Modular code generation from synchronous block diagrams: modularity vs. code size
    Download  www.cse.psu.edu
    We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
    Roberto Lublinerman, Christian Szegedy, Stavros Tr...
    claim paper
    Read More »
    CHI
    2009
    ACM
    155views Human Computer Interaction» more  CHI 2009»
    Focus on driving: how cognitive constraints shape the adaptation of strategy when dialing while driving
    14 years 11 months ago
    Focus on driving: how cognitive constraints shape the adaptation of strategy when dialing while driving
    Download  www.cs.drexel.edu
    We investigate how people adapt their strategy for interleaving multiple concurrent tasks to varying objectives. A study was conducted in which participants drove a simulated vehi...
    Duncan P. Brumby, Dario D. Salvucci, Andrew Howes
    claim paper
    Read More »
    « Prev « First page 2925 / 3071 Last » Next »
    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.