7274 search results - page 143 / 1455 » Abstractions for network update |
136
click to vote
IGPL
2006
15 years 5 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
177
click to vote
TALG
2008
15 years 5 months ago
2008
Abstract. We present a new analysis of the well-known family of multiplicative hash functions, and improved deterministic algorithms for selecting "good" hash functions. ...
202
click to vote
TCS
2011
15 years 11 days ago
2011
Abstract. We present the first fully dynamic algorithm for computing the characteristic polynomial of a matrix. In the generic symmetric case our algorithm supports rank-one updat...
183
click to vote
ISNN
2004
Springer
15 years 10 months ago
2004
Springer
Based on rank-1 update, Sparse Bayesian Learning Algorithm (SBLA) is proposed. SBLA has the advantages of low complexity and high sparseness, being very suitable for large scale pr...
150
click to vote
TSMC
2008
15 years 5 months ago
2008
Sensor networks are widely used in monitoring and tracking a large number of objects. Without prior knowledge on the dynamics of object distribution, their density estimation could...