Sciweavers

1087 search results - page 120 / 218
» Distributed Oblivious Transfer
Sort
View
FMCO
2008
Springer
109views Formal Methods» more  FMCO 2008»
15 years 4 months ago
Session-Based Compilation Framework for Multicore Programming
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&...
105
Voted
GRID
2008
Springer
15 years 3 months ago
Pilot job accounting and auditing in Open Science Grid
The Grid accounting and auditing mechanisms were designed under the assumption that users would submit their jobs directly to the Grid gatekeepers. However, many groups are starti...
Igor Sfiligoi, Greg Quinn, Chris Green, Greg Thain
110
Voted
ISOLA
2010
Springer
15 years 1 months ago
Seamless Model-Driven Development Put into Practice
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan K...
PPSN
2010
Springer
15 years 1 months ago
Evolving a Single Scalable Controller for an Octopus Arm with a Variable Number of Segments
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...
Brian G. Woolley, Kenneth O. Stanley
149
Voted
CORR
2012
Springer
196views Education» more  CORR 2012»
13 years 10 months ago
PAC-Bayesian Policy Evaluation for Reinforcement Learning
Bayesian priors offer a compact yet general means of incorporating domain knowledge into many learning tasks. The correctness of the Bayesian analysis and inference, however, lar...
Mahdi Milani Fard, Joelle Pineau, Csaba Szepesv&aa...