Sciweavers

955 search results - page 141 / 191
» Tractable Temporal Reasoning
Sort
View
AI
2008
Springer
14 years 12 months ago
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
Chitta Baral, Thomas Eiter, Marcus Bjäreland,...
JAIR
2006
157views more  JAIR 2006»
14 years 11 months ago
Decision-Theoretic Planning with non-Markovian Rewards
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
Sylvie Thiébaux, Charles Gretton, John K. S...
SCFBM
2008
112views more  SCFBM 2008»
14 years 11 months ago
The Multiscale Systems Immunology project: software for cell-based immunological simulation
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
Faheem Mitha, Timothy A. Lucas, Feng Feng, Thomas ...
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
14 years 9 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
ATAL
2009
Springer
15 years 6 months ago
Incorporating helpful behavior into collaborative planning
This paper considers the design of agent strategies for deciding whether to help other members of a group with whom an agent is engaged in a collaborative activity. Three characte...
Ece Kamar, Ya'akov Gal, Barbara J. Grosz