Sciweavers

    1350 search results - page 223 / 270
    » Reasoning about Staged Computation
    Sort
    View
    AAAI
    1996
    132views Intelligent Agents» more  AAAI 1996»
    Agent Modeling in Expert Critiquing Systems
    14 years 11 months ago
    Agent Modeling in Expert Critiquing Systems
    Download  www.aaai.org
    Expert critiquing systems are a type of humancomputercollaborative system in which a computer agent presents reasoned opinions about a humanagent's problem-solving process fo...
    Michael Chin-Ming Fu, Caroline C. Hayes
    claim paper
    Read More »
    DIMACS
    1996
    106views Theoretical Computer Science» more  DIMACS 1996»
    Model Checking and the Mu-calculus
    14 years 11 months ago
    Model Checking and the Mu-calculus
    Download  www.ccs.neu.edu
    There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
    E. Allen Emerson
    claim paper
    Read More »
    DAGSTUHL
    1994
    102views Software Engineering» more  DAGSTUHL 1994»
    Function-Based Object Recognition
    14 years 11 months ago
    Function-Based Object Recognition
    Download  www.jair.org
    Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...
    Louise Stark, Kevin W. Bowyer
    claim paper
    Read More »
    AAAI
    1992
    64views Intelligent Agents» more  AAAI 1992»
    An Empirical Analysis of Terminological Representation Systems
    14 years 11 months ago
    An Empirical Analysis of Terminological Representation Systems
    Download  www.cs.umanitoba.ca
    The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...
    Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, H...
    claim paper
    Read More »
    BCSHCI
    2009
    143views Human Computer Interaction» more  BCSHCI 2009»
    Putting the physical into the digital: issues in designing hybrid interactive surfaces
    14 years 11 months ago
    Putting the physical into the digital: issues in designing hybrid interactive surfaces
    Download  research.microsoft.com
    Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
    David S. Kirk, Abigail Sellen, Stuart Taylor, Nico...
    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-2025, USA.