1604 search results - page 240 / 321 » Development Separation in Lambda-Calculus |
138
click to vote
ENTCS
2007
15 years 4 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
225
click to vote
ENTCS
2007
15 years 4 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
109
click to vote
SIAMJO
2008
15 years 4 months ago
2008
We give some new regularity conditions for Fenchel duality in separated locally convex vector spaces, written in terms of the notion of quasi interior and quasi-relative interior, ...
145
click to vote
PRL
2006
15 years 4 months ago
2006
This paper describes an improved boosting algorithm, the MutualBoost algorithm, and its application in developing a fast and robust Gabor feature based face recognition system. Th...
144
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We introduce a novel computational method for a Mumford-Shah functional, which decomposes a given image into smooth regions separated by closed curves. Casting this as a shape opti...