Sciweavers

    11436 search results - page 166 / 2288
    » Modeling Real Reasoning
    Sort
    View
    DATE
    2002
    IEEE
    74views Hardware» more  DATE 2002»
    Extending Synchronous Languages for Generating Abstract Real-Time Models
    15 years 8 months ago
    Extending Synchronous Languages for Generating Abstract Real-Time Models
    Download  www.cs.york.ac.uk
    George Logothetis, Klaus Schneider
    claim paper
    Read More »
    ICRA
    2002
    IEEE
    76views Robotics» more  ICRA 2002»
    Weak Models and Cue Integration for Real-Time Tracking
    15 years 8 months ago
    Weak Models and Cue Integration for Real-Time Tracking
    Download  www.cc.gatech.edu
    Danica Kragic, Henrik I. Christensen
    claim paper
    Read More »
    CIKM
    2001
    Springer
    98views Information Technology» more  CIKM 2001»
    Real Time User Context Modeling for Information Retrieval Agents
    15 years 7 months ago
    Real Time User Context Modeling for Information Retrieval Agents
    Download  www.cs.indiana.edu
    The success of personal information agents depends on their ability to provide task-relevant information. This paper presents WordSieve, a new algorithm that generates context des...
    Travis Bauer, David B. Leake
    claim paper
    Read More »
    ICRA
    2000
    IEEE
    83views Robotics» more  ICRA 2000»
    Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers
    15 years 7 months ago
    Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers
    Download  musliner.com
    David J. Musliner, Robert P. Goldman, Michael J. S...
    claim paper
    Read More »
    RTAS
    2000
    IEEE
    107views Embedded Systems» more  RTAS 2000»
    Scheduling Distributed Real-Time Tasks in the DGMF Model
    15 years 7 months ago
    Scheduling Distributed Real-Time Tasks in the DGMF Model
    Download  www.arl.wustl.edu
    Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.