4949 search results - page 96 / 990 » Consistency and Set Intersection |
146
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, a new framework for brain warping via landmark matching is proposed using implicit representations or the level set method. We demonstrate this powerful technique b...
149
Voted
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
120
click to vote
RTA
2010
Springer
15 years 6 months ago
2010
Springer
We consider the problem of computing, out of a set C of trees and a rewrite system R, those trees in C that cannot be rewritten into a tree in C. We solve this problem for sets of ...
135
click to vote
CCCG
2006
15 years 5 months ago
2006
We study the graph partitioning problem on ddimensional ball graphs in a geometric way. Let B be a set of balls in d-dimensional Euclidean space with radius ratio and -precision....
174
click to vote
IJCGA
2008
15 years 4 months ago
2008
The Hausdorff distance between two sets of curves is a measure for the similarity of these objects and therefore an interesting feature in shape recognition. If the curves are alg...