9370 search results - page 147 / 1874 » An Abstract Notion of Application |
179
click to vote
ESOP
2009
Springer
16 years 1 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...
157
click to vote
FMCAD
2007
Springer
16 years 20 days 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...
157
click to vote
COMPGEOM
2006
ACM
16 years 14 days 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...
142
click to vote
ECML
2005
Springer
16 years 1 days 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...
175
click to vote
WISA
2005
Springer
15 years 12 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...