235 search results - page 30 / 47 » Mixin Modules and Computational Effects |
HPDC
2002
IEEE
15 years 4 months ago
2002
IEEE
While distributed, heterogeneous collections of computers (“Grids”) can in principle be used as a computing platform, in practice the problems of first discovering and then co...
MOBICOM
1996
ACM
15 years 4 months ago
1996
ACM
Even as mobile computing and network computing are gaining momentum, Internet security is sharing the spotlight. Security and authentication on open networks is already a difficul...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
122
click to vote
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...
ICML
2009
IEEE
16 years 18 days ago
2009
IEEE
The Conditional Restricted Boltzmann Machine (CRBM) is a recently proposed model for time series that has a rich, distributed hidden state and permits simple, exact inference. We ...