17018 search results - page 261 / 3404 » From the How to the What |
144
click to vote
SYNTHESE
2010
15 years 5 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
194
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
195
click to vote
INFSOF
2008
15 years 6 months ago
2008
Objective: In this paper, we present a systematic literature review of motivation in Software Engineering. The objective of this review is to plot the landscape of current reporte...
179
click to vote
NMR
2004
Springer
16 years 1 days ago
2004
Springer
This paper introduces a new class called hang yourself (HY) arguments into the theory of defeasible argumentation. The novelty of such arguments is that they are inherently destru...
159
click to vote
EPIA
1997
Springer
15 years 11 months ago
1997
Springer
dimension of abstraction and specificity, and they may mix both top-level goals and subgoals when describing what they want a plan to do. We show how the Prodigy planning system h...