Sciweavers

17049 search results - page 387 / 3410
» cans 2007
Sort
View
DAM
2007
77views more  DAM 2007»
15 years 6 months ago
Decompositions of graphs of functions and fast iterations of lookup tables
We show that every function f implemented as a lookup table can be implemented such that the computational complexity of evaluating f m(x) is small, independently of m and x. The ...
Boaz Tsaban
DCG
2007
65views more  DCG 2007»
15 years 6 months ago
Paths of Trains with Two-Wheeled Cars
In this paper we study the following simple and mind-puzzling problem: Can a model train car, which runs along an intricate track complete a full cycle around it? In our paper a t...
Luis Montejano, Jorge Urrutia
DISOPT
2007
96views more  DISOPT 2007»
15 years 6 months ago
Symmetric ILP: Coloring and small integers
This paper presents techniques for handling symmetries in integer linear programs where variables can take integer values, extending previous work dealing exclusively with binary v...
François Margot
ECCC
2007
109views more  ECCC 2007»
15 years 6 months ago
Logic, Graphs, and Algorithms
Algorithmic meta theorems are algorithmic results that apply to whole families of combinatorial problems, instead of just specific problems. These families are usually defined i...
Martin Grohe
ENTCS
2007
110views more  ENTCS 2007»
15 years 6 months ago
Data Anonymity in the FOO Voting Scheme
We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal context. Data anonymity expresses whether some piece of observed data, such as a v...
Sjouke Mauw, Jan Verschuren, Erik P. de Vink