3378 search results - page 331 / 676 » A universe of binding and computation |
167
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Student athletes at U.S. universities are bound by rules affecting their participation in their sport and are highly visible to their fellow students and a larger public of fans. ...
195
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
173
click to vote
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
The work described is part of an ongoing interdisciplinary collaboration between two research teams of the University of Patras, Greece and the University of Freiburg, Germany, whi...
193
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
— We propose an implementable new universal lossy source coding algorithm. The new algorithm utilizes two wellknown tools from statistical physics and computer science: Gibbs sam...
148
click to vote
HOST
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract: Circuit CAD Tools as a Security Threat Jarrod A. Roy†, Farinaz Koushanfar‡ and Igor L. Markov† †The University of Michigan, Department of EECS, 2260 Hayward Ave.,...