Sciweavers

    10707 search results - page 2104 / 2142
    » Designing executable abstractions
    Sort
    View
    DLOG
    1996
    150views Automated Reasoning» more  DLOG 1996»
    Towards a Legal Reasoning System based on Description Logics: A Position Paper
    14 years 11 months ago
    Towards a Legal Reasoning System based on Description Logics: A Position Paper
    Download  www.aaai.org
    fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
    Makoto Haraguchi
    claim paper
    Read More »
    OSDI
    1996
    ACM
    148views Operating System» more  OSDI 1996»
    Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications
    14 years 11 months ago
    Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications
    Download  www.cs.cmu.edu
    Current operating systems offer poor performance when a numeric application's working set does not fit in main memory. As a result, programmers who wish to solve "out-of...
    Todd C. Mowry, Angela K. Demke, Orran Krieger
    claim paper
    Read More »
    IJCAI
    1989
    123views Artificial Intelligence» more  IJCAI 1989»
    Reasoning about Kinematic Topology
    14 years 11 months ago
    Reasoning about Kinematic Topology
    Download  dli.iiit.ac.in
    t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
    Boi Faltings, Emmanuel Baechler, J. Primus
    claim paper
    Read More »
    TREC
    2007
    211views Information Technology» more  TREC 2007»
    Combining Resources to Find Answers to Biomedical Questions
    14 years 11 months ago
    Combining Resources to Find Answers to Biomedical Questions
    Download  www.ncbi.nlm.nih.gov
    One of the NLM experimental approaches to the 2007 Genomics track question answering task followed the track evaluation design: we attempted identifying exact answers in the form ...
    Dina Demner-Fushman, Susanne M. Humphrey, Nicholas...
    claim paper
    Read More »
    BIS
    2009
    154views Business» more  BIS 2009»
    Using Process Mining to Generate Accurate and Interactive Business Process Maps
    14 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 »
    « Prev « First page 2104 / 2142 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-2025, USA.