4107 search results - page 615 / 822 » The Generalized Lambda Test |
197
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
167
click to vote
DSS
2008
15 years 7 months ago
2008
Previous research indicates that the human decision-making process is somewhat nonlinear and that nonlinear models would be more suitable than linear models for developing advance...
202
click to vote
ALGORITHMICA
2006
15 years 7 months ago
2006
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
179
click to vote
ENTCS
2008
15 years 7 months ago
2008
In its recogniser form, Earley's algorithm for testing whether a string can be derived from a grammar is worst case cubic on general context free grammars (CFG). Earley gave ...
218
click to vote
FAC
2008
15 years 7 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...