Sciweavers

2191 search results - page 284 / 439
» Evolutionary testing of classes
Sort
View
112
Voted
INFOCOM
1997
IEEE
15 years 8 months ago
Atomic Resource Sharing in Noncooperative Networks
In noncooperative networks, resources are shared among selfish users, which optimize their individual performance measure. We consider the generic and practically important case o...
Lavy Libman, Ariel Orda
143
Voted
PODS
1997
ACM
124views Database» more  PODS 1997»
15 years 8 months ago
Languages for Relational Databases over Interpreted Structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin
144
Voted
CP
1997
Springer
15 years 8 months ago
Distributed Partial Constraint Satisfaction Problem
Many problems in multi-agent systems can be described as distributed Constraint Satisfaction Problems (distributed CSPs), where the goal is to nd a set of assignments to variables ...
Katsutoshi Hirayama, Makoto Yokoo
129
Voted
CAV
2010
Springer
187views Hardware» more  CAV 2010»
15 years 7 months ago
Fences in Weak Memory Models
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter S...
CIARP
2006
Springer
15 years 7 months ago
Decoding of Ternary Error Correcting Output Codes
Error correcting output codes (ECOC) represent a successful extension of binary classifiers to address the multiclass problem. Lately, the ECOC framework was extended from the bina...
Sergio Escalera, Oriol Pujol, Petia Radeva