3116 search results - page 165 / 624 » Positively dependent types |
132
Voted
SIGMETRICS
2000
ACM
15 years 4 months ago
2000
ACM
A key determinant of the effectiveness of a web cache is the locality of the files requested. In the past this has been difficult to model, as locality appears to be cache specifi...
135
click to vote
CG
1999
Springer
15 years 4 months ago
1999
Springer
Multi-user augmented reality systems are especially dependent on precise registration. In this paper, we present a hybrid tracking system that combines optical and magnetic tracki...
147
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This article deals with a regularized version of the split gradient method (SGM), leading to multiplicative algorithms. The proposed algorithm is available for the optimization of...
135
Voted
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
146
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Radio resources in the third generation (3G) wireless cellular networks (WCNs) such as the universal mobile telecommunications system (UMTS) network is limited in term of soft ...