6045 search results - page 327 / 1209 » Computable Linearizations of Well-partial-orderings |
181
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Manuals of technical devices are often not very helpful to the user. This study investigates the influence of spatial instructions versus linear step-by-step manuals on inexperien...
178
Voted
DCC
2004
IEEE
16 years 7 months ago
2004
IEEE
We study sets of lines of AG(n, q) and PG(n, q) with the property that no three lines form a triangle. As a result the associated point-line incidence graph contains no 6-cycles a...
162
Voted
ICDCS
2009
IEEE
16 years 4 months ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...
188
click to vote
ICCD
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we investigate the core-switch mapping(CSM) problem that optimally maps cores onto an NoC architecture such that either the energy consumption or the congestion is ...
193
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...