3131 search results - page 556 / 627 » Generalized connection caching |
142
click to vote
POPL
2010
ACM
16 years 20 days ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
104
Voted
SODA
2010
ACM
16 years 20 days ago
2010
ACM
We consider the following "efficiently decodable" nonadaptive group testing problem. There is an unknown string x {0, 1}n with at most d ones in it. We are allowed to t...
121
click to vote
ICS
2010
Tsinghua U.
16 years 20 days ago
2010
Tsinghua U.
: The generic problem of estimation and inference given a sequence of i.i.d. samples has been extensively studied in the statistics, property testing, and learning communities. A n...
160
click to vote
ICDCS
2009
IEEE
16 years 13 days ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...
127
click to vote
ALT
2004
Springer
16 years 7 days ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...