Sciweavers

1912 search results - page 226 / 383
» On the evaluation of argumentation formalisms
Sort
View
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 7 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
KDD
2008
ACM
146views Data Mining» more  KDD 2008»
16 years 6 months ago
Constraint programming for itemset mining
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
Luc De Raedt, Tias Guns, Siegfried Nijssen
CHI
2007
ACM
16 years 6 months ago
Strategies for accelerating on-line learning of hotkeys
Hotkeys are extremely useful in leveraging expert performance, but learning them is a slow process. This paper investigates alternative menu designs that can motivate and help use...
Tovi Grossman, Pierre Dragicevic, Ravin Balakrishn...
CHI
2004
ACM
16 years 6 months ago
A constraint satisfaction approach to predicting skilled interactive cognition
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
Alonso H. Vera, Andrew Howes, Michael McCurdy, Ric...
SIGMOD
2005
ACM
128views Database» more  SIGMOD 2005»
16 years 6 months ago
Privacy Preserving OLAP
We present techniques for privacy-preserving computation of multidimensional aggregates on data partitioned across multiple clients. Data from different clients is perturbed (rand...
Rakesh Agrawal, Ramakrishnan Srikant, Dilys Thomas