3865 search results - page 425 / 773 » From Bidirectionality to Alternation |
324
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Many combinatorial problems encountered in practice involve constraints that require that a set of variables take distinct or equal values. The AllDifferent constraint, i...
151
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Zooming user interfaces are increasingly popular on mobile devices with touch screens. Swiping and pinching finger gestures anywhere on the screen manipulate the displayed portion...
175
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Graphs are often visualized using node-link representations: vertices are depicted as dots, edges are depicted as (poly)lines connecting two vertices. A directed edge running from...
165
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
174
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
In this paper, we propose a general framework for distributed boosting intended for efficient integrating specialized classifiers learned over very large and distributed homogeneo...