4447 search results - page 729 / 890 » Model Checking Games |
160
click to vote
SIGECOM
2006
ACM
16 years 14 days ago
2006
ACM
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...
153
click to vote
SOFTVIS
2006
ACM
16 years 14 days ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
176
click to vote
DSRT
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper describes a simple distributed simulation for support of emergency response exercises. The simulation, called the Immersive Synthetic Environment for Exercises (ISEE), ...
160
click to vote
ICMCS
2005
IEEE
16 years 3 days ago
2005
IEEE
The recognition of events in video data is a subject of much current interest. In this paper, we address several issues related to this topic. The first one is overfitting when ...
166
click to vote
ECML
2005
Springer
16 years 1 days ago
2005
Springer
We present a method for transferring knowledge learned in one task to a related task. Our problem solvers employ reinforcement learning to acquire a model for one task. We then tra...