8828 search results - page 128 / 1766 » Formal methods in practice |
133
click to vote
AAAI
1996
15 years 5 months ago
1996
This article advocates a new model for inductive learning. Called sequential induction, it helps bridge classical fixed-sample learning techniques (which are efficient but difficu...
114
click to vote
ACJ
2002
15 years 4 months ago
2002
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
134
click to vote
AUSAI
2010
Springer
15 years 3 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
155
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
141
click to vote
JURIX
2008
15 years 5 months ago
2008
In this paper we present an approach to abductive reasoning in law by examining it in the context of an argumentation scheme for practical reasoning. We present a particular scheme...