4498 search results - page 150 / 900 » How to Invent Functions |
114
click to vote
JDA
2011
14 years 9 months ago
2011
It has recently been shown how to construct online, non-amortised approximate pattern matching algorithms for a class of problems whose distance functions can be classified as be...
146
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
113
Voted
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— We present a framework for the programming of manipulation behavior by means of an intrinsic reward function that encourages the building of deep control knowledge. We show how...
112
click to vote
IFL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
100
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes a counter scheme that uses hash functions to count how many times the user is allowed to play protected content in a DRM-enabled player. The proposed basic sc...