Sciweavers

1520 search results - page 78 / 304
» Class Hierarchy Specialization
Sort
View
MCS
2004
Springer
14 years 1 months ago
An Empirical Comparison of Hierarchical vs. Two-Level Approaches to Multiclass Problems
The ECOC framework provides a powerful and popular method for solving multiclass problems using a multitude of binary classifiers. We had recently introduced the Binary Hierarchica...
Suju Rajan, Joydeep Ghosh
ADAEUROPE
2001
Springer
14 years 9 days ago
Transaction Support for Ada
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
Jörg Kienzle, Ricardo Jiménez-Peris, A...
OOPSLA
2001
Springer
14 years 7 days ago
Contract Soundness for Object-Oriented Languages
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
Robert Bruce Findler, Matthias Felleisen
PODC
1997
ACM
13 years 12 months ago
Determining Consensus Numbers
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
Eric Ruppert
ICDT
1997
ACM
95views Database» more  ICDT 1997»
13 years 12 months ago
Type-Consistency Problems for Queries in Object-Oriented Databases
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
Yasunori Ishihara, Hiroyuki Seki, Minoru Ito