4650 search results - page 219 / 930 » Generating and evaluating evaluative arguments |
153
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
176
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
179
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Manual debugging is driven by experiments—test runs that narrow down failure causes by systematically confirming or excluding individual factors. The BUGEX approach leverages t...
179
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Usually, performance of classifiers is evaluated on real-world problems that mainly belong to public repositories. However, we ignore the inherent properties of these data and how...
128
Voted
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
We study an approach for performing concurrent activities in Markov decision processes (MDPs) based on the coarticulation framework. We assume that the agent has multiple degrees ...