Sciweavers

    8874 search results - page 1722 / 1775
    » A New Implementation of Automath
    Sort
    View
    QNS
    1996
    105views Software Engineering» more  QNS 1996»
    Real Inferno
    13 years 11 months ago
    Real Inferno
    Download  doc.cat-v.org
    Inferno is an operating system well suited to applications that need to be portable, graphical, and networked. This paper describes the fundamental oating point facilities of the...
    Eric Grosse
    claim paper
    Read More »
    3DPH
    2009
    135views Healthcare» more  3DPH 2009»
    My Corporis Fabrica: A Unified Ontological, Geometrical and Mechanical View of Human Anatomy
    13 years 11 months ago
    My Corporis Fabrica: A Unified Ontological, Geometrical and Mechanical View of Human Anatomy
    Download  hal.inria.fr
    A new anatomical database, My Corporis Fabrica (MyCF), is presented. It extends the reference anatomical ontology FMA (the Foundational Model of Anatomy) with the possibility to co...
    Olivier Palombi, Guillaume Bousquet, David Jospin,...
    claim paper
    Read More »
    BIS
    2009
    154views Business» more  BIS 2009»
    Using Process Mining to Generate Accurate and Interactive Business Process Maps
    13 years 11 months ago
    Using Process Mining to Generate Accurate and Interactive Business Process Maps
    Download  wwwis.win.tue.nl
    Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
    Wil M. P. van der Aalst
    claim paper
    Read More »
    ATAL
    2010
    Springer
    168views Intelligent Agents» more  ATAL 2010»
    Narrative generation through characters' point of view
    13 years 11 months ago
    Narrative generation through characters' point of view
    Download  www-scm.tees.ac.uk
    Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
    Julie Porteous, Marc Cavazza, Fred Charles
    claim paper
    Read More »
    BIRTHDAY
    2010
    Springer
    129views Applied Computing» more  BIRTHDAY 2010»
    Inferring Loop Invariants Using Postconditions
    13 years 11 months ago
    Inferring Loop Invariants Using Postconditions
    Download  se.ethz.ch
    One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
    Carlo A. Furia, Bertrand Meyer
    claim paper
    Read More »
    « Prev « First page 1722 / 1775 Last » Next »
    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.