3330 search results - page 452 / 666 » software 2010 |
129
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...
153
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
135
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...
148
click to vote
ICML
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper develops a generalized apprenticeship learning protocol for reinforcementlearning agents with access to a teacher who provides policy traces (transition and reward obse...
174
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...