Sciweavers

232 search results - page 26 / 47
» Set approximations in fuzzy formal concept analysis
Sort
View
DEON
2004
Springer
15 years 2 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
15 years 1 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»
15 years 1 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»
14 years 7 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
DASFAA
2005
IEEE
191views Database» more  DASFAA 2005»
15 years 3 months ago
An Efficient Approach to Extracting Approximate Repeating Patterns in Music Databases
Pattern extraction from music strings is an important problem. The patterns extracted from music strings can be used as features for music retrieval or analysis. Previous works on ...
Ning-Han Liu, Yi-Hung Wu, Arbee L. P. Chen