Sciweavers

    5216 search results - page 10 / 1044
    » Planning as Model Checking
    Sort
    View
    93
    Voted
    ICRA
    2008
    IEEE
    140views Robotics» more  ICRA 2008»
    Dynamic visibility checking for vision-based motion planning
    15 years 4 months ago
    Dynamic visibility checking for vision-based motion planning
    Download  www.cs.ubc.ca
    — An important problem in position-based visual servoing (PBVS) is to guarantee that a target will remain within the field of view for the duration of the task. In this paper, w...
    Simon Léonard, Elizabeth A. Croft, James J....
    claim paper
    Read More »
    CONCUR
    2003
    Springer
    122views Distributed And Parallel Com...» more  CONCUR 2003»
    Multi-Valued Model Checking via Classical Model Checking
    15 years 3 months ago
    Multi-Valued Model Checking via Classical Model Checking
    Download  www.cs.toronto.edu
    Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
    Arie Gurfinkel, Marsha Chechik
    claim paper
    Read More »
    ATVA
    2005
    Springer
    142views Hardware» more  ATVA 2005»
    Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology
    15 years 3 months ago
    Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology
    Download  cs.nyu.edu
    Venkatesh Mysore, Carla Piazza, Bud Mishra
    claim paper
    Read More »
    FBT
    2000
    139views Formal Methods» more  FBT 2000»
    Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
    14 years 11 months ago
    Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
    Download  www4.in.tum.de
    Alexander K. Wißpeintner, Franz Huber, Jan P...
    claim paper
    Read More »
    IJRR
    2002
    98views more  IJRR 2002»
    On Delaying Collision Checking in PRM Planning
    14 years 10 months ago
    On Delaying Collision Checking in PRM Planning
    Download  robotics.stanford.edu
    : This paper describes the foundations and algorithms of a new probabilistic roadmap (PRM) planner that is: single-query
    Gildardo Sánchez-Ante, Jean-Claude Latombe
    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.