Sciweavers

    15614 search results - page 247 / 3123
    » The State of State
    Sort
    View
    IPPS
    2008
    IEEE
    100views Distributed And Parallel Com...» more  IPPS 2008»
    Grid-based research, development, and deployment in New York State
    16 years 1 months ago
    Grid-based research, development, and deployment in New York State
    Download  www.cse.buffalo.edu
    Russ Miller, Jonathan J. Bednasz, Kenneth Chiu, St...
    claim paper
    Read More »
    IROS
    2008
    IEEE
    117views Robotics» more  IROS 2008»
    Differentially constrained motion replanning using state lattices with graduated fidelity
    16 years 1 months ago
    Differentially constrained motion replanning using state lattices with graduated fidelity
    Download  www.ri.cmu.edu
    Mikhail Pivtoraiko, Alonzo Kelly
    claim paper
    Read More »
    IROS
    2008
    IEEE
    156views Robotics» more  IROS 2008»
    Bayesian state estimation and behavior selection for autonomous robotic exploration in dynamic environments
    16 years 1 months ago
    Bayesian state estimation and behavior selection for autonomous robotic exploration in dynamic environments
    Download  www.lsr.ei.tum.de
    — In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
    Georgios Lidoris, Dirk Wollherr, Martin Buss
    claim paper
    Read More »
    LICS
    2008
    IEEE
    103views Automated Reasoning» more  LICS 2008»
    On the Expressiveness and Complexity of Randomization in Finite State Monitors
    16 years 1 months ago
    On the Expressiveness and Complexity of Randomization in Finite State Monitors
    Download  www.cs.uiuc.edu
    Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
    claim paper
    Read More »
    TOOLS
    2008
    IEEE
    138views Programming Languages» more  TOOLS 2008»
    A Comparison of State-Based Modelling Tools for Model Validation
    16 years 29 days ago
    A Comparison of State-Based Modelling Tools for Model Validation
    Download  alloy.mit.edu
    In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
    Emine G. Aydal, Mark Utting, Jim Woodcock
    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.