Sciweavers

    1897 search results - page 134 / 380
    » eg 2007
    Sort
    View
    LANMR
    2007
    130views Logical Reasoning» more  LANMR 2007»
    Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness
    13 years 11 months ago
    Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness
    Download  ftp.informatik.rwth-aachen.de
    The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which c...
    Federico Marulanda Rey
    claim paper
    Read More »
    LWA
    2007
    151views Software Engineering» more  LWA 2007»
    Prediction Algorithms for User Actions
    13 years 11 months ago
    Prediction Algorithms for User Actions
    Download  users.informatik.uni-halle.de
    Proactive User Interfaces (PUIs) aim at facilitating the interaction with a user interface, e.g., by highlighting fields or adapting the interface. For that purpose, they need to...
    Melanie Hartmann, Daniel Schreiber
    claim paper
    Read More »
    LWA
    2007
    84views Software Engineering» more  LWA 2007»
    Incremental Mining for Facility Management
    13 years 11 months ago
    Incremental Mining for Facility Management
    Download  www.dbis.prakinf.tu-ilmenau.de
    Modern buildings are equipped with high-tech systems that take care of several fundamental aspects, e.g., air-conditioning, heating and water supply. The requirements posed on fac...
    Katja Hose, Marcel Karnstedt, Daniel Klan, Kai-Uwe...
    claim paper
    Read More »
    MEDINFO
    2007
    112views Healthcare» more  MEDINFO 2007»
    SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions
    13 years 11 months ago
    SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions
    Download  lat.inf.tu-dresden.de
    After a critical review of the present architecture of SNOMED CT, addressing both logical and ontological issues, we present a roadmap towards an overall improvement of this termi...
    Stefan Schulz, Boontawee Suntisrivaraporn, Franz B...
    claim paper
    Read More »
    MEDINFO
    2007
    128views Healthcare» more  MEDINFO 2007»
    Biomedical Vocabularies - the Demand for Differentiation
    13 years 11 months ago
    Biomedical Vocabularies - the Demand for Differentiation
    Download  www.tc215wg3.nhs.uk
    The need of biomedical vocabularies is well known for various tasks, e.g., supporting structured data entry, decision support and electronic data exchange as well as retrieval and...
    Josef Ingenerf, Siegfried J. Pöppl
    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.