Sciweavers

234 search results - page 26 / 47
» Rough Set Approximations in Formal Concept Analysis
Sort
View
JUCS
2010
176views more  JUCS 2010»
13 years 6 months ago
An Approach to Generation of Decision Rules
: Classical classification and clustering based on equivalence relations are very important tools in decision-making. An equivalence relation is usually determined by properties of...
Zhang Mingyi, Danning Li, Zhang Ying
DEON
2004
Springer
14 years 1 months ago
Collective Obligations and Agents: Who Gets the Blame?
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
Davide Grossi, Frank Dignum, Lambèr M. M. R...
SAS
1999
Springer
13 years 12 months ago
Polyhedral Analysis for Synchronous Languages
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
Frédéric Besson, Thomas P. Jensen, J...
ICDT
1995
ACM
101views Database» more  ICDT 1995»
13 years 11 months ago
Approximation in Databases
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
Leonid Libkin
WINE
2010
Springer
189views Economy» more  WINE 2010»
13 years 5 months ago
The Limits of Smoothness: A Primal-Dual Framework for Price of Anarchy Bounds
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...
Uri Nadav, Tim Roughgarden