4854 search results - page 278 / 971 » It's the Programming, Stupid |
212
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
165
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known...
217
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
177
click to vote
IWINAC
2007
Springer
16 years 1 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
140
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
To announce the ownership of video such as TV programs, the owner usually embeds his logo into the programs in a visible way. Since the logo and its position are usually fixed in...