Sciweavers

1713 search results - page 95 / 343
» Planning for Performance
Sort
View
IJCAI
2003
14 years 11 months ago
Learning Value Predictors for the Speculative Execution of Information Gathering Plans
Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is clos...
Greg Barish, Craig A. Knoblock
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
14 years 9 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
Kim-Kwang Raymond Choo
AI
2012
Springer
13 years 5 months ago
Plan recognition in exploratory domains
This paper describes a challenging plan recognition problem that arises in environments in which agents engage widely in exploratory behavior, and presents new algorithms for eff...
Ya'akov Gal, Swapna Reddy, Stuart M. Shieber, Ande...
KR
2010
Springer
15 years 2 months ago
Diagnosis as Planning Revisited
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
CISS
2007
IEEE
15 years 4 months ago
System-Level Performance of Cellular Multihop Relaying with Multiuser Scheduling
— Multihop relaying in cellular networks is seen as a viable strategy to address the need for higher data rates and better coverage. In this paper, we analyze the system-level pe...
Mohamad Charafeddine, Ozgur Oyman, Sumeet Sandhu