607 search results - page 36 / 122 » Unifying Exact Completions |
164
click to vote
CPC
2006
15 years 6 months ago
2006
We derive the distribution of the number of links and the average weight for the shortest path tree (SPT) rooted at an arbitrary node to m uniformly chosen nodes in the complete g...
141
click to vote
PRL
2008
15 years 6 months ago
2008
A novel method of snakes with shape prior is presented in this paper. We propose to add a new force which makes the curve evolve to particular shape corresponding to a template to...
170
click to vote
FORTE
2009
15 years 3 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Spectrum sensing, which aims at detecting spectrum holes, is the precondition for the implementation of cognitive radio. Collaborative spectrum sensing among the cognitive radio n...
164
click to vote
COMPGEOM
2006
ACM
16 years 4 days ago
2006
ACM
This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation para...