Sciweavers

    734 search results - page 80 / 147
    » Design and implementation of expressive footwear
    Sort
    View
    IJCAI
    2007
    172views Artificial Intelligence» more  IJCAI 2007»
    Automated Benchmark Model Generators for Model-Based Diagnostic Inference
    13 years 9 months ago
    Automated Benchmark Model Generators for Model-Based Diagnostic Inference
    Download  www.cs.ucc.ie
    This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
    Gregory M. Provan, Jun Wang
    claim paper
    Read More »
    FORTE
    2004
    100views Formal Methods» more  FORTE 2004»
    Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
    13 years 9 months ago
    Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
    Download  fmt.isti.cnr.it
    Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
    Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
    claim paper
    Read More »
    ODRL
    2004
    166views Electronic Publishing» more  ODRL 2004»
    Distributed Digital Rights Management: The EduSource Approach to DRM
    13 years 9 months ago
    Distributed Digital Rights Management: The EduSource Approach to DRM
    Download  odrl.net
    This paper describes the design and implementation of the distributed digital rights management (DDRM) system as undertaken by the eduSource project, a national network of learnin...
    Stephen Downes, Gilbert Babin, Luc Belliveau, Raph...
    claim paper
    Read More »
    AAAI
    1998
    148views Intelligent Agents» more  AAAI 1998»
    A Motivational System for Regulating Human-Robot Interaction
    13 years 9 months ago
    A Motivational System for Regulating Human-Robot Interaction
    Download  robotic.media.mit.edu
    This paper presents a motivational system for an autonomous robot which is designed to regulate human-robot interaction. The mode of social interaction is that of a caretaker-infa...
    Cynthia Breazeal
    claim paper
    Read More »
    ECIS
    2000
    86views Information Technology» more  ECIS 2000»
    Paving the Road to Business Process Automation
    13 years 9 months ago
    Paving the Road to Business Process Automation
    Download  www.adm.hb.se
    Event-driven Process Chains (EPCs) have been helped to achieve an important role in business process modeling by the commercial success of SAP and ARIS. Both users and IT experts m...
    Peter Rittgen
    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.