988 search results - page 50 / 198 » Pseudo-Genetic Algorithmic Composition |
101
click to vote
ALMOB
2008
15 years 28 days 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...
81
Voted
ACL
1990
15 years 1 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
15 years 21 days ago
2008
109
Voted
TACAS
1997
Springer
15 years 5 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...
94
Voted
VMCAI
2009
Springer
15 years 7 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...