Sciweavers

2233 search results - page 287 / 447
» Modular type classes
Sort
View
ICDAR
2003
IEEE
15 years 11 months ago
Confidence Evaluation for Combining Diverse Classifiers
For combining classifiers at measurement level, the diverse outputs of classifiers should be transformed to uniform measures that represent the confidence of decision, hopefully, ...
Hongwei Hao, Cheng-Lin Liu, Hiroshi Sako
QSIC
2003
IEEE
15 years 11 months ago
A Note on Test Oracles and Semantics of Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
Hong Zhu
ER
2003
Springer
86views Database» more  ER 2003»
15 years 11 months ago
An Interpolated Volume Model for Databases
In this paper we present a volume data model amenable to querying volumes in databases. Unlike most existing volume models, which are directed towards specific applications (notab...
Tianqiu Wang, Simone Santini, Amarnath Gupta
ICECCS
2002
IEEE
161views Hardware» more  ICECCS 2002»
15 years 11 months ago
Interclass Testing of Object Oriented Software
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
Vincenzo Martena, Alessandro Orso, Mauro Pezz&egra...
CDC
2009
IEEE
165views Control Systems» more  CDC 2009»
15 years 11 months ago
Achieving symmetric Pareto Nash equilibria using biased replicator dynamics
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...
Kiran Somasundaram, John S. Baras