1054 search results - page 128 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
161
click to vote
CLIMA
2004
15 years 5 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
117
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Since about two decades, many works have been made in order to provide solutions to the vehicle platoon problem. The main issue related to platoon systems consists in controling t...
133
click to vote
SECURWARE
2008
IEEE
15 years 10 months ago
2008
IEEE
— In current peer-to-peer systems users interact with unknown services and users for the purpose of online transactions such as file sharing and trading of commodities. Peer-to-...
149
click to vote
POLICY
2001
Springer
15 years 8 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
143
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
Intelligent planning algorithms such as the Partially Observable Markov Decision Process (POMDP) have succeeded in dialog management applications [10, 11, 12] because of their rob...