23 search results - page 3 / 5 » Abstract non-interference: parameterizing non-interference b... |
TFS
2008
13 years 6 months ago
2008
Abstract--This paper proposes a new method of merging parameterized fuzzy sets based on clustering in the parameters space, taking into account the degree of inclusion of each fuzz...
TCS
2002
13 years 6 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
ICDM
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract--Data clustering is a highly used knowledge extraction technique and is applied in more and more application domains. Over the last years, a lot of algorithms have been pr...
ERSHOV
2003
Springer
13 years 11 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
POPL
1996
ACM
13 years 10 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...