16430 search results - page 716 / 3286 » On Computable Tree Functions |
250
click to vote
CEFP
2007
Springer
16 years 1 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
184
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Geocomputation has a long tradition in dealing with fuzzyness in different contexts, most notably in the challenges created by the representation of geographic space in digital for...
207
click to vote
ICARCV
2006
IEEE
16 years 1 months ago
2006
IEEE
— Many problems in computer vision such as pose recovery and structure estimation are formulated as a minimization process. These problems vary in the use of image measurements d...
192
click to vote
SAINT
2006
IEEE
16 years 1 months ago
2006
IEEE
Overload can reduce the overall performance of a computer system up to a point where the whole service might collapse. Thus, for example the load on a server must be controlled to...
216
click to vote
APLAS
2004
ACM
16 years 25 days ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...