Sciweavers

5945 search results - page 336 / 1189
» A Model for Projection and Action
Sort
View
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 7 months ago
Building Computer Network Attacks
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
Ariel Futoransky, Luciano Notarfrancesco, Gerardo ...
ISIPTA
2003
IEEE
124views Mathematics» more  ISIPTA 2003»
16 years 4 days ago
Decision Making with Imprecise Second-Order Probabilities
In this paper we consider decision making under hierarchical imprecise uncertainty models and derive general algorithms to determine optimal actions. Numerical examples illustrate...
Lev V. Utkin
MST
2008
118views more  MST 2008»
15 years 6 months ago
Risk Assessment for One-Counter Threads
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
Alban Ponse, Mark van der Zwaag
IJUFKS
2000
68views more  IJUFKS 2000»
15 years 6 months ago
Non-Determinism and Uncertainty in the Situation Calculus
A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are give...
Javier Pinto, Amílcar Sernadas, Cristina Se...
AIPS
2011
14 years 10 months ago
Planning and Acting in Incomplete Domains
Engineering complete planning domain descriptions is often very costly because of human error or lack of domain knowledge. Learning complete domain descriptions is also very chall...
Christopher Weber, Daniel Bryce