398 search results - page 6 / 80 » On the Inference of Configuration Structures from Source Cod... |
102
Voted
APLAS
2010
ACM
15 years 1 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 4 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...
98
Voted
JSS
2006
15 years 1 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...
95
Voted
SOFSEM
2010
Springer
15 years 10 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 ...
108
Voted
ISMB
1997
1997
Inferring Gene Structures in Genomic Sequences Using Pattern Recognition and Expressed Sequence Tags
15 years 2 months 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 ...