1264 search results - page 92 / 253 » Towards Theory Translation |
CP
2008
Springer
13 years 10 months ago
2008
Springer
Submodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the ...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
In prior work we established how physicomimetics can be used to self-organize hexagonal and square lattice formations of mobile robots. In this paper we extend the framework to mo...
DAGM
2003
Springer
14 years 2 months ago
2003
Springer
We define strong r-similarity and the morphing distance to bound geometric distortions between shapes of equal topology. We then derive a necessary and sufficient condition for a ...
RECOMB
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Perfection has been used as a criteria to select rearrangement scenarios since 2004. However, there is a fundamental bias towards extant species in the original definitio...