8555 search results - page 306 / 1711 » Property Based Coordination |
199
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Observing that simplicity implies efficiency and scalability, this paper proposes a position-based deployment and routing strategy, and then gives a concrete approach under this...
180
click to vote
CHARME
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
184
click to vote
DIAL
2006
IEEE
15 years 11 months ago
2006
IEEE
Statistical classification methods can be applied on images of historical manuscript in order to characterize the various kinds of inks used. As these methods do not require destr...
219
click to vote
ICANN
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We examine efficacy of a classifier based on average of kernel density estimators; each estimator corresponds to a different data "resolution". Parameters of th...
186
Voted
PRL
2006
15 years 7 months ago
2006
In this paper, we present a wavelet based approach which tries to automatically find the number of clusters present in a data set, along with their position and statistical proper...