713 search results - page 65 / 143 » Saving Space by Algebraization |
CADE
2002
Springer
16 years 25 days ago
2002
Springer
Modularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Michael Abbott, Neil Ghani, and Christoph L?uth Union of Equational Theo...
101
Voted
COCO
2009
Springer
15 years 7 months ago
2009
Springer
We study the task of randomness extraction from sources which are distributed uniformly on an unknown algebraic variety. In other words, we are interested in constructing a functi...
95
Voted
COORDINATION
2004
Springer
15 years 6 months ago
2004
Springer
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples th...
108
Voted
IJRR
2002
15 years 6 days ago
2002
We study the path planning problem, without obstacles, for closed kinematic chains with n links connected by spherical joints in space or revolute joints in the plane. The configu...
109
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...