Sciweavers

2356 search results - page 81 / 472
» Characterizations of postman sets
Sort
View
CORR
2010
Springer
57views Education» more  CORR 2010»
15 years 1 months ago
Slopes of Tilings
We study here slopes of periodicity of tilings. A tiling is of slope if it is periodic along direction but has no other direction of periodicity. We characterize in this paper th...
Emmanuel Jeandel, Pascal Vanier
STACS
2012
Springer
13 years 11 months ago
The Denjoy alternative for computable functions
The Denjoy-Young-Saks Theorem from classical analysis states that for an arbitrary function f : R → R, the Denjoy alternative holds outside a null set, i.e., for almost every re...
Laurent Bienvenu, Rupert Hölzl, Joseph S. Mil...
ICLP
1999
Springer
15 years 8 months ago
Bounded Nondeterminism of Logic Programs
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
Dino Pedreschi, Salvatore Ruggieri
125
Voted
ENTCS
2008
102views more  ENTCS 2008»
15 years 4 months ago
Soft Linear Logic and Polynomial Complexity Classes
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...
IJCV
2010
131views more  IJCV 2010»
15 years 2 months ago
Using the Particle Filter Approach to Building Partial Correspondences Between Shapes
Abstract Constructing correspondencesbetween points characterizing one shape with those characterizing another is crucial to understanding what the two shapes have in common. These...
Rolf Lakämper, Marc Sobel