1092 search results - page 183 / 219 » Automated Evaluation of Coordination Approaches |
162
click to vote
CSFW
2007
IEEE
16 years 14 days ago
2007
IEEE
se an abstract model of business processes for the purpose of (i) evaluating privacy policy in light of the goals of the process and (ii) developing automated support for privacy ...
143
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
175
click to vote
WACV
2007
IEEE
16 years 11 days ago
2007
IEEE
We propose a novel framework for 3D reassembly, the task of assembling a solid object from its broken pieces. The primary challenge in this under-explored problem is to robustly e...
153
click to vote
ATAL
2007
Springer
16 years 9 days 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...
161
click to vote
ICAS
2006
IEEE
16 years 5 days ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...