3608 search results - page 169 / 722 » computer 2011 |
108
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
From home improvement to scrapbooking, leisure activities performed “by hand” increasingly involve digital tools. In turn, software and devices to support handwork are prolife...
124
Voted
TCS
2011
14 years 10 months ago
2011
The notion of repetition threshold, which is the object of Dejean’s conjecture (1972), was generalized by Ilie, Ochem, and Shallit in 2005, to include the lengths of the avoided ...
141
click to vote
TCS
2011
14 years 10 months ago
2011
This paper initiates a study of connections between local and global properties of graphical games. Specifically, we introduce a concept of local price of anarchy that quantifie...
151
Voted
DAM
2011
14 years 10 months ago
2011
The \Cross Product" technique introduced by Even and Litman EL92] is extended into a fulldecompositiontheory enablinga unique (up to isomorphism)and polynomialfactorizationof...
142
click to vote
TCS
2011
14 years 10 months ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...