1912 search results - page 216 / 383 » On the evaluation of argumentation formalisms |
144
click to vote
MONTEREY
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
141
click to vote
SYNASC
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
159
click to vote
AIME
2005
Springer
16 years 16 hour ago
2005
Springer
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
169
click to vote
ICAPR
2005
Springer
15 years 12 months ago
2005
Springer
There is need for more formal specification of recognition tasks. Currently, it is common to use labeled training samples to illustrate the task to be performed. The mathematical ...
149
click to vote
SAFECOMP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...