1176 search results - page 137 / 236 » Implicit Abstraction Heuristics |
96
Voted
DASFAA
2009
IEEE
15 years 1 months ago
2009
IEEE
The problem of identifying deviating patterns in XML repositories has important applications in data cleaning, fraud detection, and stock market analysis. Current methods determine...
104
click to vote
CCE
2008
15 years 22 days ago
2008
We present a novel approach for solving different design problems related to single products in multipurpose batch plants: the selection of one production line out of several avai...
106
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
CORR
2008
Springer
15 years 22 days ago
2008
Springer
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...
81
Voted
ECCC
2010
15 years 21 days ago
2010
A design is a finite set of points in a space on which every "simple" functions averages to its global mean. Illustrative examples of simple functions are low-degree pol...