1989 search results - page 152 / 398 » Set functions for functional logic programming |
113
Voted
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
121
click to vote
IWVF
2001
Springer
15 years 7 months ago
2001
Springer
In the framework of an evolutionary approach to machine learning, this paper presents the preliminary version of a learning system that uses Genetic Programming as a tool for autom...
151
Voted
MTV
2006
IEEE
15 years 9 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
117
click to vote
ISMB
1997
15 years 4 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
152
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...