Sciweavers

    1823 search results - page 261 / 365
    » Formal specification: a roadmap
    Sort
    View
    ICMAS
    2000
    132views Intelligent Agents» more  ICMAS 2000»
    The Computational Complexity of Agent Design Problems
    13 years 10 months ago
    The Computational Complexity of Agent Design Problems
    Download  www.csc.liv.ac.uk
    This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
    Michael Wooldridge
    claim paper
    Read More »
    ENTCS
    2008
    106views more  ENTCS 2008»
    Verifying Test-Hypotheses: An Experiment in Test and Proof
    13 years 9 months ago
    Verifying Test-Hypotheses: An Experiment in Test and Proof
    Download  kisogawa.inf.ethz.ch
    HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
    Achim D. Brucker, Lukas Brügger, Burkhart Wol...
    claim paper
    Read More »
    ARTMED
    2006
    85views more  ARTMED 2006»
    Using ontologies linked with geometric models to reason about penetrating injuries
    13 years 9 months ago
    Using ontologies linked with geometric models to reason about penetrating injuries
    Download  www.stanford.edu
    Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
    Daniel L. Rubin, Olivier Dameron, Yasser Bashir, D...
    claim paper
    Read More »
    ASE
    2006
    114views more  ASE 2006»
    Explicit modeling of semantics associated with composite states in UML statecharts
    13 years 9 months ago
    Explicit modeling of semantics associated with composite states in UML statecharts
    Download  www.cs.uic.edu
    : UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
    Zhaoxia Hu, Sol M. Shatz
    claim paper
    Read More »
    CTW
    2006
    107views more  CTW 2006»
    Human computer interaction methods for electronic flight bag envisionment and design
    13 years 9 months ago
    Human computer interaction methods for electronic flight bag envisionment and design
    Download  www.flightman.com
    This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
    Joan Cahill, Nick McDonald
    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.