3742 search results - page 724 / 749 » On the Use of Formal Techniques for Validation |
147
click to vote
BALT
2006
15 years 5 months ago
2006
In many application domains (e.g., WWW mining, molecular biology), large string datasets are available and yet under-exploited. The inductive database framework assumes that both s...
159
click to vote
ICCD
1997
IEEE
15 years 5 months ago
1997
IEEE
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
113
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...
189
click to vote
MEDIAFORENSICS
2010
15 years 3 months ago
2010
Content-aware resizing methods have recently been developed, among which, seam-carving has achieved the most widespread use. Seam-carving's versatility enables deliberate obj...
110
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Amino acids responsible for structure, core function or specificity may be inferred from multiple protein sequence alignments where a limited set of residue types are ...