4035 search results - page 716 / 807 » Useless Actions Are Useful |
304
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
275
click to vote
HOLOMAS
2011
Springer
14 years 5 months ago
2011
Springer
In the last decade we witnessed an increased demand for employment of unmanned aerial vehicles (UAV) in practise. For instance, there is a growing need to provide surveillance task...
168
click to vote
WSDM
2012
ACM
14 years 1 months ago
2012
ACM
Recommendation systems exist to help users discover content in a large body of items. An ideal recommendation system should mimic the actions of a trusted friend or expert, produc...
212
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: “How should the input change in...
155
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Heuristic Algorithms (HA) are very widely used to tackle practical problems in operations research. They are simple, easy to understand and inspire confidence. Many of these HAs a...