4617 search results - page 563 / 924 » Automation of Diagrammatic Reasoning |
218
click to vote
ICCBR
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
200
click to vote
CADE
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
188
click to vote
WCRE
1999
IEEE
15 years 12 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
227
click to vote
COMMA
2008
15 years 9 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
190
click to vote
FLAIRS
2001
15 years 9 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...