Sciweavers

1187 search results - page 54 / 238
» Computation in Extended Argumentation Frameworks
Sort
View
ICPR
2002
IEEE
14 years 3 months ago
Analysis of Error-Reject Trade-off in Linearly Combined Classifiers
In this paper, a framework for the analysis of the error-reject trade-off in linearly combined classifiers is proposed. We start from a framework developed by Tumer and Ghosh [1,2...
Fabio Roli, Giorgio Fumera, Gianni Vernazza
SOFSEM
2007
Springer
14 years 5 months ago
Automatic Testing of Object-Oriented Software
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...
Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lis...
ICALP
2005
Springer
14 years 4 months ago
Up-to Techniques for Weak Bisimulation
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
Damien Pous
ECIS
2000
14 years 6 days ago
The Exercise of Power and Information Systems Strategy: The Need for a New Perspective
- Computer based information systems (IS) in work-based organisation are generally acknowledged as incorporating a social as well as technical dimension. Information system strateg...
K. S. Horton
KES
2006
Springer
13 years 10 months ago
Scheduling Jobs on Computational Grids Using Fuzzy Particle Swarm Algorithm
Abstract. Grid computing is a computing framework to meet the growing computational demands. This paper introduces a novel approach based on Particle Swarm Optimization (PSO) for s...
Ajith Abraham, Hongbo Liu, Weishi Zhang, Tae-Gyu C...