4270 search results - page 152 / 854 » A Permutation Approach to Validation |
154
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Designing agents whose behavior challenges human players adequately is a key issue in computer games development. This work presents a novel technique, based on reinforcement lear...
183
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
160
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
202
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
This contribution discusses a network-level access control technique that applies the non-discretionary access control model to individual data packets that are exchanged between ...
177
click to vote
DASFAA
2006
IEEE
15 years 10 months ago
2006
IEEE
Sharing of common subtrees has been reported useful not only for XML compression but also for main-memory XML query processing. This method compresses subtrees only when they exhib...