4978 search results - page 210 / 996 » Logical models of argument |
155
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
150
click to vote
ECML
2004
Springer
15 years 9 months ago
2004
Springer
One approach to improve the accuracy of classifications based on generative models is to combine them with successful discriminative algorithms. Fisher kernels were developed to c...
129
click to vote
PPDP
2000
Springer
15 years 8 months ago
2000
Springer
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...
153
click to vote
IASSE
2004
15 years 5 months ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
169
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...