6719 search results - page 41 / 1344 » A Generalization of Automatic Sequences |
TACAS
1997
Springer
14 years 26 days 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...
BIOINFORMATICS
2000
13 years 8 months ago
2000
Motivation: Efficient, accurate and automatic clustering of large protein sequence datasets, such as complete proteomes, into families, according to sequence similarity. Detection...
IBPRIA
2003
Springer
14 years 1 months ago
2003
Springer
A procedure for automatic mosaic construction over long image sequences is presented. This mosaic is used by an underwater vehicle to estimate its motion with respect to the ocean ...
ISIM
2007
13 years 10 months ago
2007
Executable prototypcs generatcd on early stages of software development bring many benefits, first of all they help to develop and validate systcm's spccification. The paper p...
GECCO
2006
Springer
14 years 12 days ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...