626 search results - page 48 / 126 » Abstract Modularity |
101
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
119
click to vote
RECOMB
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Identifying gene functional modules is an important step towards elucidating gene functions at a global scale. In this paper, we introduce a simple method to construct ge...
128
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
111
click to vote
FSTTCS
2001
Springer
15 years 6 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...
120
click to vote
SNPD
2010
15 years 3 months ago
2010
Abstract--A method for explaining results of a regressionbased classifier is proposed. The data is clustered using a metric extracted from the classifier. This way, clusters found ...