115 search results - page 9 / 23 » A Tool for Portfolio Generation Using an Argumentation Based... |
138
Voted
CBMS
2008
IEEE
16 years 13 days ago
2008
IEEE
Multi-observer segmentation evaluation is useful in the imaging community. We have developed a web-based software application for automatic performance evaluation of multiple imag...
171
click to vote
COLT
2006
Springer
15 years 9 months ago
2006
Springer
In an online convex optimization problem a decision-maker makes a sequence of decisions, i.e., chooses a sequence of points in Euclidean space, from a fixed feasible set. After ea...
185
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
162
click to vote
ISCI
2006
15 years 6 months ago
2006
In this paper we have introduced a class of decision rules related to simple majority, by considering individual intensities of preference. These intensities will be shown by mean...
153
click to vote
ICFEM
2009
Springer
16 years 16 days ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...