2496 search results - page 124 / 500 » On covering by translates of a set |
220
click to vote
IPMI
2001
Springer
16 years 7 months ago
2001
Springer
An efficient adaptive multigrid level set method for front propagation purposes in three dimensional medical image processing and segmentation is presented. It is able to deal with...
144
click to vote
ESA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
158
click to vote
TPHOL
2005
IEEE
16 years 1 days ago
2005
IEEE
We discuss methods for dealing effectively with let-bindings in proofs. Our contribution is a small set of unconditional rewrite rules, found by the bracket abstraction translatio...
179
click to vote
AIPS
2011
14 years 10 months ago
2011
Conformant planning can be formulated as a path-finding problem in belief space where the two main challenges are the heuristics to guide the search, and the representation and u...
241
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Deciding whether a finite set of polyominoes tiles the plane is undecidable by reduction from the Domino problem. In this paper, we prove that the problem remains undecidable if t...