Sciweavers

6413 search results - page 269 / 1283
» Classes of cycle bases
Sort
View
TLCA
2005
Springer
16 years 6 days ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
SAC
2004
ACM
16 years 4 days ago
Translating the Object Constraint Language into the Java Modelling Language
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
Ali Hamie
KES
2004
Springer
16 years 2 days ago
A Comparison of Two Approaches to Data Mining from Imbalanced Data
Our objective is a comparison of two data mining approaches to dealing with imbalanced data sets. The first approach is based on saving the original rule set, induced by the LEM2 ...
Jerzy W. Grzymala-Busse, Jerzy Stefanowski, Szymon...
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
16 years 2 days ago
Friends Need a Bit More: Maintaining Invariants Over Shared State
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
Michael Barnett, David A. Naumann
CDC
2009
IEEE
172views Control Systems» more  CDC 2009»
15 years 11 months ago
Approximate dynamic programming using fluid and diffusion approximations with applications to power management
—TD learning and its refinements are powerful tools for approximating the solution to dynamic programming problems. However, the techniques provide the approximate solution only...
Wei Chen, Dayu Huang, Ankur A. Kulkarni, Jayakrish...