Sciweavers

1912 search results - page 327 / 383
» On the evaluation of argumentation formalisms
Sort
View
TSE
2008
99views more  TSE 2008»
14 years 11 months ago
Modular Information Hiding and Type-Safe Linking for C
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
Saurabh Srivastava, Michael Hicks, Jeffrey S. Fost...
AI
2004
Springer
14 years 11 months ago
Hierarchical model-based diagnosis based on structural abstraction
al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion has been advocat...
Luca Chittaro, Roberto Ranon
AI
2004
Springer
14 years 11 months ago
A selective sampling approach to active feature selection
Feature selection, as a preprocessing step to machine learning, has been very effective in reducing dimensionality, removing irrelevant data, increasing learning accuracy, and imp...
Huan Liu, Hiroshi Motoda, Lei Yu
CLUSTER
2004
IEEE
14 years 11 months ago
A Synchronous Co-Allocation Mechanism for Grid Computing Systems
Grid computing systems are emerging as a computing infrastructure that will enable the use of wide-area network computing systems for a variety of challenging applications. One of ...
Farag Azzedin, Muthucumaru Maheswaran, Neil Arnaso...
CLEIEJ
2002
156views more  CLEIEJ 2002»
14 years 11 months ago
A Fuzzy Model for Function Point Analysis to Development and Enhancement Project Assessments
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
Osias de Souza Lima Júnior, Pedro Porf&iacu...