2259 search results - page 395 / 452 » Mining Actionable Patterns |
120
Voted
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
107
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Most of the recent work on Web security focuses on preventing attacks that directly harm the browser's host machine and user. In this paper we attempt to quantify the threat ...
123
Voted
ECML
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Approximate Policy Iteration (API) is a reinforcement learning paradigm that is able to solve high-dimensional, continuous control problems. We propose to exploit API for...
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
122
click to vote
ICMI
2000
Springer
15 years 6 months ago
2000
Springer
The trend toward pervasive computing necessitates finding and implementing appropriate ways for users to interact with devices. We believe the future of interaction with pervasive ...