Sciweavers

3212 search results - page 449 / 643
» Faster Concept Analysis
Sort
View
DEBU
2010
134views more  DEBU 2010»
14 years 8 months ago
Causality in Databases
Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for "causes" of tuples in the query results or in genera...
Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. ...
CORR
2010
Springer
143views Education» more  CORR 2010»
14 years 6 months ago
Dynamics of Profit-Sharing Games
An important task in the analysis of multiagent systems is to understand how groups of selfish players can form coalitions, i.e., work together in teams. In this paper, we study t...
John Augustine, Ning Chen, Edith Elkind, Angelo Fa...
ICGA
2010
206views Optimization» more  ICGA 2010»
14 years 6 months ago
From Chinese Room to Human Window
The debate in philosophy and cognitive science about the Chinese Room Argument has focused on whether it shows that machines can have minds. We present a quantitative argument whi...
Maarten van Emden, André Vellino
JSS
2010
89views more  JSS 2010»
14 years 6 months ago
Verification and validation of declarative model-to-model transformations through invariants
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
86
Voted
PVLDB
2010
116views more  PVLDB 2010»
14 years 6 months ago
Computing Closed Skycubes
In this paper, we tackle the problem of efficient skycube computation. We introduce a novel approach significantly reducing domination tests for a given subspace and the number of...
Chedy Raïssi, Jian Pei, Thomas Kister