445 search results - page 1 / 89 » A Systematic Construction of Abstract Domains |
SAS
1994
Springer
13 years 8 months ago
1994
Springer
POPL
1994
ACM
13 years 8 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
BMCBI
2010
13 years 4 months ago
2010
Background: Partitioning of a protein into structural components, known as domains, is an important initial step in protein classification and for functional and evolutionary stud...
JSS
2007
13 years 4 months ago
2007
A consequence of the growing number of empirical studies in software engineering is the need to adopt systematic approaches to assessing and aggregating research outcomes in order...
TSP
2010
12 years 11 months ago
2010
Abstract--We present a constructive algorithm for the design of real lapped equal-norm tight frame transforms. These transforms can be efficiently implemented through filter banks ...