48 search results - page 9 / 10 » An Abstract Interpretation Approach for Automatic Generation... |
AH
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
SAS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
IFIP
2001
Springer
13 years 11 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
TFS
2008
13 years 7 months ago
2008
Abstract--This paper considers the automatic design of fuzzyrule-based classification systems from labeled data. The performance of classifiers and the interpretability of generate...