Sciweavers

    887 search results - page 14 / 178
    » A Science of Reasoning
    Sort
    View
    LICS
    2006
    IEEE
    104views Automated Reasoning» more  LICS 2006»
    Approximate Satisfiability and Equivalence
    16 years 17 days ago
    Approximate Satisfiability and Equivalence
    Download  www.cs.technion.ac.il
    Eldar Fischer, Frédéric Magniez, Mic...
    claim paper
    Read More »
    LICS
    2006
    IEEE
    62views Automated Reasoning» more  LICS 2006»
    Approximation Schemes for First-Order Definable Optimisation Problems
    16 years 17 days ago
    Approximation Schemes for First-Order Definable Optimisation Problems
    Download  www.newton.ac.uk
    Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...
    claim paper
    Read More »
    LICS
    2006
    IEEE
    89views Automated Reasoning» more  LICS 2006»
    Stochastic Games with Branching-Time Winning Objectives
    16 years 17 days ago
    Stochastic Games with Branching-Time Winning Objectives
    Download  www.fi.muni.cz
    Tomás Brázdil, Václav Brozek,...
    claim paper
    Read More »
    LICS
    2009
    IEEE
    118views Automated Reasoning» more  LICS 2009»
    Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
    16 years 1 months ago
    Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
    Download  eprints.eemcs.utwente.nl
    Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...
    claim paper
    Read More »
    ATAL
    2005
    Springer
    197views Intelligent Agents» more  ATAL 2005»
    Coordinating multiple rovers with interdependent science objectives
    16 years 3 days ago
    Coordinating multiple rovers with interdependent science objectives
    Download  www-aig.jpl.nasa.gov
    This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
    Tara A. Estlin, Daniel M. Gaines, Forest Fisher, R...
    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.