Sciweavers

4895 search results - page 272 / 979
» Functional Quantum Programming
Sort
View
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
APLAS
2010
ACM
15 years 6 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
IEICET
2007
110views more  IEICET 2007»
15 years 6 months ago
A Higher-Order Knuth-Bendix Procedure and Its Applications
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
Keiichirou Kusakari, Yuki Chiba
CEC
2010
IEEE
15 years 7 months ago
Evolving programs with parameters and loops
At the current state of the art, genetic programs do not contain two constructs that commonly occur in programs written by humans, that is, loops and functions with parameters. In ...
Gayan Wijesinghe, Victor Ciesielski