5829 search results - page 412 / 1166 » The Practice of Cluster Analysis |
317
click to vote
JUCS
2002
15 years 7 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
200
click to vote
CADE
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
213
click to vote
ASWEC
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
187
click to vote
CISS
2008
IEEE
16 years 2 months ago
2008
IEEE
— We consider dual subgradient methods for solving (nonsmooth) convex constrained optimization problems. Our focus is on generating approximate primal solutions with performance ...
198
click to vote
GLOBECOM
2008
IEEE
16 years 2 months ago
2008
IEEE
Nowadays, the source localization has been widely applied for wireless sensor networks. The Gaussian mixture model has been adopted for maximum-likelihood (ML) source localization ...