2496 search results - page 235 / 500 » On covering by translates of a set |
186
click to vote
ANTS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We answer a question asked by Hajdu and Tengely: The only arithmetic progression in coprime integers of the form (a2 , b2 , c2 , d5 ) is (1, 1, 1, 1). For the proof, we ï...
203
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
We show how to partition data structures representable by directed acyclic graphs, i.e. rooted trees, to allow for efficient complex operations, which lie beyond inserts, deletes ...
197
click to vote
DEBS
2009
ACM
15 years 10 months ago
2009
ACM
The ability to find services or resources that satisfy some criteria is an important aspect of distributed systems. This paper presents an event-based architecture to support more...
186
click to vote
FUN
2007
Springer
15 years 10 months ago
2007
Springer
Architectures for optical processors designed to solve bounded instances of NP-Complete problems are suggested. One approach mimics the traveling salesman by traveling beams that ...
136
click to vote
AIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...