Sciweavers

4716 search results - page 236 / 944
» Tangible functional programming
Sort
View
POPL
2009
ACM
16 years 7 months ago
Positive supercompilation for a higher order call-by-value language
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
Peter A. Jonsson, Johan Nordlander
ICFP
2008
ACM
16 years 6 months ago
Experience report: erlang in acoustic ray tracing
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
Christian Convey, Andrew Fredricks, Christopher Ga...
CEFP
2005
Springer
15 years 12 months ago
Generic Editors for the World Wide Web
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
Rinus Plasmeijer, Peter Achten
ERSHOV
2006
Springer
15 years 10 months ago
Chase of Recursive Queries
In this work, we present a semantic query optimization technique to improve the efficiency of the evaluation of a subset of SQL:1999 recursive queries. Using datalog notation, we c...
Nieves R. Brisaboa, Antonio Fariña, Miguel ...
CORR
2011
Springer
154views Education» more  CORR 2011»
14 years 10 months ago
A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation
— This paper shows that the k-means quantization of a signal can be interpreted both as a crisp indicator function and as a fuzzy membership assignment describing fuzzy clusters ...
Nicolaie Popescu-Bodorin