Sciweavers

2071 search results - page 163 / 415
» An Empirical Evaluation of LFG-DOP
Sort
View
CAV
2009
Springer
176views Hardware» more  CAV 2009»
16 years 2 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 1 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
2006
ACM
16 years 1 months ago
Usability of interaction patterns
Interaction patterns are becoming an important method for bridging the gap between analysis and design in user-centered design. Recent studies, however, have indicated problems in...
Katarina Segerståhl, Timo Jokela
CHI
2005
ACM
16 years 1 months ago
Gender HCI issues in problem-solving software
Thus far, researchers have not investigated gender HCI issues in the context of end-user problem-solving software. Designers' ignorance of gender differences is particularly ...
Laura Beckwith
CHI
2004
ACM
16 years 1 months ago
Release, relocate, reorient, resize: fluid techniques for document sharing on multi-user interactive tables
Group work frequently involves transitions between periods of active collaboration and periods of individual activity. We aim to support this typical work practice by introducing ...
Chia Shen, Clifton Forlines, Frédéri...