344 search results - page 46 / 69 » Attribute-Pair Range Rules |
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
MFCS
2007
Springer
14 years 1 months ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
IPCCC
2006
IEEE
14 years 1 months ago
2006
IEEE
A number of works have focused on the mean delay performance of IEEE 802.11 [1]. The main contribution of this paper is that it provides a method to obtain the full distribution o...