3116 search results - page 466 / 624 » Positively dependent types |
152
click to vote
IPTPS
2005
Springer
16 years 4 hour ago
2005
Springer
Most earlier studies of DHTs under churn have either depended on simulations as the primary investigation tool, or on establishing bounds for DHTs to function. In this paper, we pr...
173
click to vote
LAMAS
2005
Springer
15 years 12 months ago
2005
Springer
We present a new multiagent learning algorithm, RVσ(t), that builds on an earlier version, ReDVaLeR . ReDVaLeR could guarantee (a) convergence to best response against stationary ...
173
click to vote
SCIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper deals, for the first time, with an analysis of localization capabilities of weakly supervised categorization systems. Most existing categorization approaches ...
142
click to vote
ACMMSP
2004
ACM
15 years 12 months ago
2004
ACM
This work details a performance study of six different types of commodity memories in two commodity server nodes. A number of micro-benchmarks are used that measure low-level perf...
165
click to vote
DOCENG
2004
ACM
15 years 12 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...