Sciweavers

887 search results - page 14 / 178
» A Science of Reasoning
Sort
View
94
Voted
LICS
2006
IEEE
15 years 9 months ago
Approximate Satisfiability and Equivalence
Eldar Fischer, Frédéric Magniez, Mic...
86
Voted
LICS
2006
IEEE
15 years 9 months ago
Approximation Schemes for First-Order Definable Optimisation Problems
Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...
116
Voted
LICS
2006
IEEE
15 years 9 months ago
Stochastic Games with Branching-Time Winning Objectives
Tomás Brázdil, Václav Brozek,...
133
Voted
LICS
2009
IEEE
15 years 10 months ago
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...
143
Voted
ATAL
2005
Springer
15 years 9 months ago
Coordinating multiple rovers with interdependent science objectives
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...