4814 search results - page 221 / 963 » Combining abstract interpreters |
162
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
165
click to vote
CIDU
2010
15 years 4 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...
180
click to vote
DLOG
2010
15 years 4 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...
170
click to vote
ICMLA
2009
15 years 4 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...
191
click to vote
CORR
2010
Springer
15 years 3 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...