1912 search results - page 149 / 383 » On the evaluation of argumentation formalisms |
199
click to vote
ISSTA
2007
ACM
15 years 8 months ago
2007
ACM
Progress in testing requires that we evaluate the effectiveness of testing strategies on the basis of hard experimental evidence, not just intuition or a priori arguments. Random ...
184
click to vote
MMS
2002
15 years 6 months ago
2002
Integration--supporting multiple application classes with heterogeneous requirements--is an emerging trend in networks, file systems, and operating systems. In this paper, we eval...
180
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
208
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
The present discussion highlights the aspects of an ongoing doctoral thesis grounded on the analysis and tracking of emotions from English and Bengali texts. Development of lexica...
162
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...