Sciweavers

    1156 search results - page 103 / 232
    » The PENG System: Practice and Experience
    Sort
    View
    FLAIRS
    2000
    78views Artificial Intelligence» more  FLAIRS 2000»
    A Case Study in the Mechanical Verification of Fault Tolerance
    15 years 19 days ago
    A Case Study in the Mechanical Verification of Fault Tolerance
    Download  www.mais.informatik.tu-darmstadt.de
    To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
    Heiko Mantel, Felix C. Gärtner
    claim paper
    Read More »
    IC
    2000
    118views Applied Computing» more  IC 2000»
    Advanced Techniques for Analyzing Web Server Logs
    15 years 19 days ago
    Advanced Techniques for Analyzing Web Server Logs
    Download  www0.fh-trier.de
    This paper gives an account of the practical experiences made in generating special statistical information of web server logs. It emphasizes the problem of combining different dat...
    Ernst Georg Haffner, Uwe Roth, Andreas Heuer 0002,...
    claim paper
    Read More »
    INTERACT
    1997
    134views Human Computer Interaction» more  INTERACT 1997»
    What Happened to our Document in the Shared Workspace? The Need for Groupware Conventions
    15 years 19 days ago
    What Happened to our Document in the Shared Workspace? The Need for Groupware Conventions
    Download  www.fit.fraunhofer.de
    Conventions for conducting work with groupware are essential. They include rules for how the groupware functionality should be used for communication about work, for how data shoul...
    Gloria Mark, Wolfgang Prinz
    claim paper
    Read More »
    USAB
    2007
    135views Software Engineering» more  USAB 2007»
    Competence Assessment for Spinal Anaesthesia
    15 years 13 days ago
    Competence Assessment for Spinal Anaesthesia
    Download  wundt.uni-graz.at
    The authors describe a new approach towards assessing skills of medical trainees. Based on experiences from previous projects with (i) applying virtual environments for medical tra...
    Dietrich Albert, Cord Hockemeyer, Zsuzsanna Kulcs&...
    claim paper
    Read More »
    COLING
    2002
    88views Computational Linguistics» more  COLING 2002»
    Searching the Web by Voice
    14 years 11 months ago
    Searching the Web by Voice
    Download  people.csail.mit.edu
    Spoken queries are a natural medium for searching the Web in settings where typing on a keyboard is not practical. This paper describes a speech interface to the Google search eng...
    Alexander Franz, Brian Milch
    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.