Sciweavers

    11718 search results - page 2309 / 2344
    » Testing database applications
    Sort
    View
    OPODIS
    2003
    145views Distributed And Parallel Com...» more  OPODIS 2003»
    Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
    13 years 9 months ago
    Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
    Download  users.ece.utexas.edu
    Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
    Alper Sen, Vijay K. Garg
    claim paper
    Read More »
    PICS
    2003
    79views Image Processing» more  PICS 2003»
    Selection of Training Sets for the Characterisation of Multispectral Imaging Systems
    13 years 9 months ago
    Selection of Training Sets for the Characterisation of Multispectral Imaging Systems
    Download  www.ivl.disco.unimib.it
    To establish a correlation between the system output and the corresponding reflectance, the system characterisation functionDeriving the actual multispectral data from the output o...
    Paolo Pellegri, Gianluca Novati, Raimondo Schettin...
    claim paper
    Read More »
    AAAI
    1998
    142views Intelligent Agents» more  AAAI 1998»
    Automated Intelligent Pilots for Combat Flight Simulation
    13 years 9 months ago
    Automated Intelligent Pilots for Combat Flight Simulation
    Download  www.aaai.org
    TacAir-Soar is an intelligent, rule-based system that generates believable human-like" behavior for military simulations. The innovation of the application is primarily a mat...
    Randolph M. Jones, John E. Laird, Paul E. Nielsen
    claim paper
    Read More »
    DAGSTUHL
    1998
    477views Software Engineering» more  DAGSTUHL 1998»
    Markov Localization for Reliable Robot Navigation and People Detection
    13 years 9 months ago
    Markov Localization for Reliable Robot Navigation and People Detection
    Download  www.ri.cmu.edu
    Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
    Dieter Fox, Wolfram Burgard, Sebastian Thrun
    claim paper
    Read More »
    WSC
    2000
    124views Modeling And Simulation» more  WSC 2000»
    Input modeling using a computer algebra system
    13 years 9 months ago
    Input modeling using a computer algebra system
    Download  www.informs-sim.org
    Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
    Diane L. Evans, Lawrence Leemis
    claim paper
    Read More »
    « Prev « First page 2309 / 2344 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.