607 search results - page 36 / 122 » Unifying Exact Completions |
103
Voted
CPC
2006
14 years 11 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...
PRL
2008
14 years 11 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...
92
Voted
FORTE
2009
14 years 8 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...
92
Voted
CORR
2010
Springer
14 years 11 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...
91
Voted
COMPGEOM
2006
ACM
15 years 4 months 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...