8828 search results - page 1184 / 1766 » Formal methods in practice |
216
click to vote
ICMLA
2008
15 years 8 months ago
2008
In reinforcement learning, it is a common practice to map the state(-action) space to a different one using basis functions. This transformation aims to represent the input data i...
198
Voted
HCI
2007
15 years 8 months ago
2007
The cultural diversity of users of technology challenges our methods for usability evaluation. In this paper we report on a multi-site, cross-cultural grounded theory field study o...
196
Voted
HCI
2007
15 years 8 months ago
2007
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...
202
Voted
ICISC
2007
15 years 8 months ago
2007
This paper reports on an improvement of Matsui’s linear cryptanalysis that reduces the complexity of an attack with algorithm 2, by taking advantage of the Fast Fourier Transform...
172
click to vote
NIPS
2008
15 years 8 months ago
2008
We propose a novel bound on single-variable marginal probability distributions in factor graphs with discrete variables. The bound is obtained by propagating local bounds (convex ...