398 search results - page 6 / 80 » On the Inference of Configuration Structures from Source Cod... |
APLAS
2010
ACM
14 years 11 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
DEXAW
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper provides an explanation of the basic data structures used in a new page analysis technique to create wrappers (data extractors) for the result pages produced by web sit...
JSS
2006
14 years 11 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
SOFSEM
2010
Springer
15 years 8 months ago
2010
Springer
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
ISMB
1997
1997
Inferring Gene Structures in Genomic Sequences Using Pattern Recognition and Expressed Sequence Tags
15 years 28 days ago
Abstract.) Ying Xu, Richard J. MuraF, and Edward C. Uberbacher Computer Science and Mathematics Division and tLife Sciences Division Computational methods for gene identification ...