Sciweavers

    75 search results - page 11 / 15
    » A Correctness Result for Reasoning about One-Dimensional Pla...
    Sort
    View
    AAAI
    2007
    76views Intelligent Agents» more  AAAI 2007»
    On the Partial Observability of Temporal Uncertainty
    13 years 9 months ago
    On the Partial Observability of Temporal Uncertainty
    Download  www.aaai.org
    We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
    Michael D. Moffitt
    claim paper
    Read More »
    PPOPP
    2012
    ACM
    282views Distributed and Parallel Com...» more  PPOPP 2012»
    Internally deterministic parallel algorithms can be fast
    12 years 2 months ago
    Internally deterministic parallel algorithms can be fast
    Download  www.cs.cmu.edu
    The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
    Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gib...
    claim paper
    Read More »
    SIGMOD
    1995
    ACM
    116views Database» more  SIGMOD 1995»
    Incremental Maintenance of Views with Duplicates
    13 years 11 months ago
    Incremental Maintenance of Views with Duplicates
    Download  homepages.inf.ed.ac.uk
    We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
    Timothy Griffin, Leonid Libkin
    claim paper
    Read More »
    AVI
    2006
    121views Software Engineering» more  AVI 2006»
    An explorative analysis of user evaluation studies in information visualisation
    13 years 8 months ago
    An explorative analysis of user evaluation studies in information visualisation
    Download  eprints.lancs.ac.uk
    This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
    Geoffrey Ellis, Alan J. Dix
    claim paper
    Read More »
    EUROMICRO
    2009
    IEEE
    114views Software Engineering» more  EUROMICRO 2009»
    Exercise Generation by Group Models for Autonomous Web-Based Learning
    14 years 2 months ago
    Exercise Generation by Group Models for Autonomous Web-Based Learning
    Download  www.fim.uni-linz.ac.at
    Abstract— Creating exercises for learners requires significant time. This is one reason, beside difficulties of discussing individualized tasks in a classroom setting, why often ...
    Michael Sonntag
    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.