3090 search results - page 568 / 618 » On Testing Answer-Set Programs |
126
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
130
click to vote
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
Evolutionary algorithms (EAs) are increasingly being applied to solve real-parameter optimization problems due to their flexibility in handling complexities such as non-convexity,...
145
click to vote
ASC
2010
15 years 1 months ago
2010
Grammatical evolution (GE) is a form of grammar-based genetic programming. A particular feature of GE is that it adopts a distinction between the genotype and phenotype similar to...
123
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
BMCBI
2007
15 years 1 months ago
2007
Background: The presence of gaps in an alignment of nucleotide or protein sequences is often an inconvenience for bioinformatical studies. In phylogenetic and other analyses, for ...