3742 search results - page 288 / 749 » On the Use of Formal Techniques for Validation |
172
click to vote
HUC
2007
Springer
15 years 10 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...
192
Voted
AIIDE
2008
15 years 9 months ago
2008
We present a domain independent off-line adaptation technique called Stochastic Plan Optimization for finding and improving plans in real-time strategy games. Our method is based ...
170
click to vote
CTRSA
2008
Springer
15 years 8 months ago
2008
Springer
We develop new algorithmic and cryptographic techniques for authenticating the results of queries over databases that are outsourced to an untrusted responder. We depart from previ...
152
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
There is an extensive literature on data mining techniques, including several applications of these techniques in the e-commerce setting. However, all previous approaches require t...
177
click to vote
JMLR
2002
15 years 6 months ago
2002
Cross-validation is a useful and generally applicable technique often employed in machine learning, including decision tree induction. An important disadvantage of straightforward...