Sciweavers

748 search results - page 81 / 150
» Mechanism design for abstract argumentation
Sort
View
ASPDAC
2005
ACM
72views Hardware» more  ASPDAC 2005»
15 years 8 months ago
TERPS: the embedded reliable processing system
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
Hongxia Wang, Samuel Rodríguez, Cagdas Diri...
BILDMED
2008
15 years 7 months ago
A Knowledge-Based System for the Computer Assisted Diagnosis of Endoscopic Images
Abstract. Due to the actual demographic development the use of Computer-Assisted Diagnosis (CAD) systems becomes a more important part of clinical workflows and clinical decision m...
Andreas Kage, Christian Münzenmayer, Thomas W...
ESANN
2006
15 years 7 months ago
Diversity creation in local search for the evolution of neural network ensembles
Abstract. The EENCL algorithm [1] automatically designs neural network ensembles for classification, combining global evolution with local search based on gradient descent. Two mec...
Pete Duell, Iris Fermin, Xin Yao
SAC
2006
ACM
15 years 6 months ago
Transformation of B specifications into UML class diagrams and state machines
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz
SOFTWARE
1998
15 years 6 months ago
A New Way to Query GISs on the Web
BMS organizes information in abstract name spaces and lets users refer to thedatathroughtheirvalues,whileaspatialDBMSorganizesinformationinconcrete 2D geometric spaces and lets use...
Serena Coetzee, Judith Bishop