2905 search results - page 42 / 581 » Formal Memetic Algorithms |
97
Voted
ISMB
1996
15 years 2 months ago
1996
Weshowin this paper that manypopular models of folding and/or alignment maybe described by a new formalism: multi-tape S-attribute grammars(MTSAG's).This formalism relieves t...
AAECC
2006
Springer
15 years 26 days ago
2006
Springer
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
84
Voted
MDAI
2007
Springer
15 years 7 months ago
2007
Springer
Formal concept analysis (FCA) is a method of exploratory data analysis. The data is in the form of a table describing relationship between objects (rows) and attributes (columns), ...
102
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
126
click to vote
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...