6171 search results - page 880 / 1235 » The FrameNet Data and Software |
189
click to vote
ESORICS
2010
Springer
15 years 7 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...
176
click to vote
ICFP
2010
ACM
15 years 7 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...
225
click to vote
CEC
2010
IEEE
15 years 7 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 ...
172
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
One of the most interesting issues in the field of cultural heritage is the adoption of multimedia systems for the visualization and organization of information. In this paper we ...
180
Voted
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
An analysis of data from 259 CS1 students is performed to compare the performance of students who were paired by demonstrated ability to that of students who were paired randomly ...