698 search results - page 10 / 140 » Evaluating Key Statements Analysis |
AI
2007
Springer
13 years 10 months ago
2007
Springer
We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof stan...
EPEW
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
INTERACT
2003
13 years 11 months ago
2003
: This paper reports on current development of usability heuristics for large screen information exhibits. By basing the creation of such heuristics on real systems, and identifyin...
LREC
2010
13 years 11 months ago
2010
Lexical substitution is the task of finding a replacement for a target word in a sentence so as to preserve, as closely as possible, the meaning of the original sentence. It has b...
TRIER
2002
13 years 9 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...