314 search results - page 49 / 63 » A Constraint Based Agent for TAC-SCM |
AAAI
2006
13 years 8 months ago
2006
In multiple criteria Markov Decision Processes (MDP) where multiple costs are incurred at every decision point, current methods solve them by minimising the expected primary cost ...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
CDC
2008
IEEE
13 years 7 months ago
2008
IEEE
In this paper camera pose control for optimizing multiview distributed video coding is considered. The scenario considered is that multiple agents with monocular cameras observe a ...
IJCAI
2003
13 years 8 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
NCA
2007
IEEE
14 years 1 months ago
2007
IEEE
We present FRAC, a Framework for Role-based Access Control in network file systems. FRAC is a reference monitor that controls the message flow between file system clients and s...