2196 search results - page 163 / 440 » Practical Reasoning Using Values |
104
Voted
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-In this paper, a Q-learning-based hybrid automatic repeat request (Q-HARQ) scheme is proposed to achieve efficient resource utilization for high speed downlink packet acc...
113
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
-- Publishing person specific data while protecting privacy is an important problem. Existing algorithms that enforce the privacy principle called l-diversity are heuristic based d...
128
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
130
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
125
Voted
ML
2006
ACM
15 years 8 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...