Sciweavers

    56 search results - page 10 / 12
    » What Happened in CLEF 2007
    Sort
    View
    DAGSTUHL
    2007
    74views Software Engineering» more  DAGSTUHL 2007»
    Smoothed Analysis of Binary Search Trees and Quicksort Under Additive Noise
    14 years 11 months ago
    Smoothed Analysis of Binary Search Trees and Quicksort Under Additive Noise
    Download  drops.dagstuhl.de
    Binary search trees are a fundamental data structure and their height plays a key role in the analysis of divide-and-conquer algorithms like quicksort. Their worst-case height is l...
    Bodo Manthey, Till Tantau
    claim paper
    Read More »
    IJCAI
    1997
    135views Artificial Intelligence» more  IJCAI 1997»
    Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
    14 years 11 months ago
    Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
    Download  dli.iiit.ac.in
    As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
    Giuseppe De Giacomo, Yves Lespérance, Hecto...
    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 »
    AIEDU
    2007
    86views more  AIEDU 2007»
    A Study of Feedback Strategies in Foreign Language Classrooms and Tutorials with Implications for Intelligent Computer-Assisted
    14 years 10 months ago
    A Study of Feedback Strategies in Foreign Language Classrooms and Tutorials with Implications for Intelligent Computer-Assisted
    Download  www.era.lib.ed.ac.uk
    This paper presents two new corpus-based studies of feedback in the domain of teaching Spanish as a foreign language, concentrating on the type and frequency of different feedback ...
    Anita Ferreira, Johanna D. Moore, Chris Mellish
    claim paper
    Read More »
    AML
    2005
    101views more  AML 2005»
    Forcing and antifoundation
    14 years 9 months ago
    Forcing and antifoundation
    Download  users.auth.gr
    It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools for this construction are gre...
    Athanassios Tzouvaras
    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-2025, USA.