4702 search results - page 219 / 941 » How to Copyright a Function |
118
click to vote
LFP
1990
15 years 6 months ago
1990
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970�...
122
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Software component reuse is the software engineering practice of developing new software products from existing components. A reuse library or component reuse repository organizes...
145
click to vote
APIN
2004
15 years 4 months ago
2004
In this paper we are concerned with the problem of learning how to solve planning problems in one domain given a number of solved instances. This problem is formulated as the probl...
129
click to vote
CI
1998
15 years 4 months ago
1998
A pattern database is a lookup table that stores an exact evaluation function for a relaxed search problem, which provides an admissible heuristic for the original search problem....
149
Voted
IFM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...