Sciweavers

887 search results - page 14 / 178

» A Science of Reasoning

26

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

14 years 2 months ago

Approximate Satisfiability and Equivalence

Download www.cs.technion.ac.il

Eldar Fischer, Frédéric Magniez, Mic...

claim paper

Read More »

14

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

14 years 2 months 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 »

28

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Stochastic Games with Branching-Time Winning Objectives

14 years 2 months ago

Stochastic Games with Branching-Time Winning Objectives

Download www.fi.muni.cz

Tomás Brázdil, Václav Brozek,...

claim paper

Read More »

26

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

14 years 3 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 »

31

ATAL
2005
Springer

197views Intelligent Agents» more ATAL 2005»

Coordinating multiple rovers with interdependent science objectives

14 years 2 months 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 »

« Prev « First page 14 / 178 Last » Next »