1818 search results - page 184 / 364 » Granularity-Adaptive Proof Presentation |
171
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
161
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
152
click to vote
IAT
2007
IEEE
16 years 25 days ago
2007
IEEE
Asynchronous Partial Overlay (APO) is a search algorithm that uses cooperative mediation to solve Distributed Constraint Satisfaction Problems (DisCSPs). The algorithm partitions ...
129
click to vote
COLT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose simple randomized strategies for sequential prediction under imperfect monitoring, that is, when the forecaster does not have access to the past outcomes but r...
158
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...