1712 search results - page 276 / 343 » A Computational Approach to Binding Theory |
83
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
111
click to vote
OSDI
2008
ACM
16 years 1 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
188
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
The previous literature of privacy preserving data publication has focused on performing "one-time" releases. Specifically, none of the existing solutions supports re-pu...
101
click to vote
PODS
2006
ACM
16 years 1 months ago
2006
ACM
Recently, there has been an increased focus on modeling uncertainty by distributions. Suppose we wish to compute a function of a stream whose elements are samples drawn independen...
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
In this paper we explore avenues for improving the reliability of dimensionality reduction methods such as Non-Negative Matrix Factorization (NMF) as interpretive exploratory data...