3708 search results - page 410 / 742 » Approximating Betweenness Centrality |
156
Voted
FMCAD
2007
Springer
16 years 29 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
189
click to vote
IBPRIA
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper presents a method to decompose a field of surface normals (needle-map). A diffusion process is used to model the flow of height information induced by a fi...
170
click to vote
ISAAC
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we consider the problem of partitioning a small data sample drawn from a mixture of k product distributions. We are interested in the case that individual features a...
137
Voted
PET
2007
Springer
16 years 28 days ago
2007
Springer
Neither of the two anonymisation services Tor and AN.ON clearly outperforms the other one. AN.ON’s user-perceived QoS is generally more consistent over time than Tor’s. While A...
177
click to vote
3DPVT
2006
IEEE
16 years 26 days ago
2006
IEEE
To support real-time computation with large, possibly evolving point clouds and range data, we fit a trimmed uniform tensor-product spline function from one direction. The graph ...