Sciweavers

    741 search results - page 34 / 149
    » Steps towards C C: A Language for Interactions
    Sort
    View
    ISLPED
    2010
    ACM
    158views Hardware» more  ISLPED 2010»
    STM versus lock-based systems: an energy consumption perspective
    13 years 6 months ago
    STM versus lock-based systems: an energy consumption perspective
    Download  www.lsc.ic.unicamp.br
    The shift towards multicore processors and the well-known drawbacks imposed by lock-based synchronization have forced researchers to devise new alternatives for building concurren...
    Felipe Klein, Alexandro Baldassin, Joao Moreira, P...
    claim paper
    Read More »
    BDA
    2001
    104views Knowledge Management» more  BDA 2001»
    Query-Driven Knowledge Discovery via OLAP manipulations
    13 years 9 months ago
    Query-Driven Knowledge Discovery via OLAP manipulations
    Download  liris.cnrs.fr
    We study KDD (Knowledge Discovery in Databases) processes on OLAP (multidimensional and multilevel) data from a query point of view. Focusing on association rule mining, we consid...
    Jean-François Boulicaut, Patrick Marcel, Ch...
    claim paper
    Read More »
    TPHOL
    2007
    IEEE
    117views Automated Reasoning» more  TPHOL 2007»
    Source-Level Proof Reconstruction for Interactive Theorem Proving
    14 years 2 months ago
    Source-Level Proof Reconstruction for Interactive Theorem Proving
    Download  www.cl.cam.ac.uk
    Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
    Lawrence C. Paulson, Kong Woei Susanto
    claim paper
    Read More »
    AIPS
    2009
    144views Artificial Intelligence» more  AIPS 2009»
    Flexible Execution of Plans with Choice
    13 years 9 months ago
    Flexible Execution of Plans with Choice
    Download  groups.csail.mit.edu
    Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
    Patrick R. Conrad, Julie A. Shah, Brian C. William...
    claim paper
    Read More »
    INTERACT
    2003
    120views Human Computer Interaction» more  INTERACT 2003»
    Drag-and-Pop and Drag-and-Pick: Techniques for Accessing Remote Screen Content on Touch- and Pen-Operated Systems
    13 years 9 months ago
    Drag-and-Pop and Drag-and-Pick: Techniques for Accessing Remote Screen Content on Touch- and Pen-Operated Systems
    Download  research.microsoft.com
    Abstract: Drag-and-pop and drag-and-pick are interaction techniques designed for users of pen- and touchoperated display systems. They provide users with access to screen content t...
    Patrick Baudisch, Edward Cutrell, Mary Czerwinski,...
    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.