988 search results - page 50 / 198 » Pseudo-Genetic Algorithmic Composition |
ALMOB
2008
14 years 10 months ago
2008
The increasing throughput of sequencing raises growing needs for methods of sequence analysis and comparison on a genomic scale, notably, in connection with phylogenetic tree reco...
ACL
1990
14 years 11 months ago
1990
The principle known as 'free indexation' plays an important role in the determination of the referential properties of noun phrases in the principleand-parameters langua...
SIAMCOMP
2008
14 years 9 months ago
2008
TACAS
1997
Springer
15 years 1 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...