19 search results - page 2 / 4 » Correctness Proof of the Standardized Algorithm for ABR Conf... |
LATIN
2004
Springer
13 years 10 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
ICML
2008
IEEE
14 years 6 months ago
2008
IEEE
We describe an algorithm for learning in the presence of multiple criteria. Our technique generalizes previous approaches in that it can learn optimal policies for all linear pref...
SIGCSE
1997
ACM
13 years 9 months ago
1997
ACM
When teaching a course in compiler design, it is conventional to introduce the iterative calculation of least fixed points quite late in the course, in the guise of iterative dat...
POPL
2012
ACM
12 years 24 days ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...