1189 search results - page 116 / 238 » The Quotient of an Abstract Interpretation |
104
click to vote
CIDU
2010
14 years 10 months ago
2010
Abstract. The Aviation Safety Reporting System (ASRS) is used to collect voluntarily submitted aviation safety reports from pilots, controllers and others. As such it is particular...
113
Voted
DLOG
2010
14 years 10 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
102
Voted
ICMLA
2009
14 years 10 months ago
2009
Abstract--This paper presents a novel and domainindependent approach for graph-based structure learning. The approach is based on solving the Maximum Common SubgraphIsomorphism pro...
123
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
137
click to vote
INFSOF
2010
14 years 10 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...