1768 search results - page 220 / 354 » A Logic for Algebraic Effects |
187
click to vote
AIPS
2008
15 years 9 months ago
2008
During the past few years, point-based POMDP solvers have gradually scaled up to handle medium sized domains through better selection of the set of points and efficient backup met...
182
click to vote
CTRSA
2008
Springer
15 years 8 months ago
2008
Springer
We present a study of several fault attacks against the block cipher IDEA. Such a study is particularly interesting because of the target cipher's specific property to employ ...
187
Voted
FORTE
2004
15 years 8 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
225
Voted
IJCAI
1989
15 years 8 months ago
1989
A macro-operator is an integrated operator consisting of plural primitive operators and enables a problem solver to solve more efficiently. However, if a learning system generates...
156
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We develop a purely ordinal model for aggregation functionals for lattice valued functions, comprising as special cases quantiles, the Ky Fan metric and the Sugeno integral. For m...