9370 search results - page 147 / 1874 » An Abstract Notion of Application |
114
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
86
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
COMPGEOM
2006
ACM
15 years 6 months ago
2006
ACM
Abstract We introduce a parameterized notion of feature size that interpolates between the minimum of the local feature size and the recently introduced weak feature size. Based on...
ECML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. While direct, model-free reinforcement learning often performs better than model-based approaches in practice, only the latter have yet supported theoretical guarantees f...
100
click to vote
WISA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A proxy signature scheme allows an entity to delegate its signing power to another entity. Since the notion of proxy signatures was first introduced, many proxy signatur...