Sciweavers

12257 search results - page 203 / 2452
» Analysis of Algorithms
Sort
View
SIGSOFT
1994
ACM
15 years 5 months ago
Data Flow Analysis for Verifying Properties of Concurrent Programs
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
Matthew B. Dwyer, Lori A. Clarke
PPOPP
1997
ACM
15 years 6 months ago
LoPC: Modeling Contention in Parallel Algorithms
Parallel algorithm designers need computational models that take first order system costs into account, but are also simple enough to use in practice. This paper introduces the L...
Matthew Frank, Anant Agarwal, Mary K. Vernon
VTC
2006
IEEE
199views Communications» more  VTC 2006»
15 years 7 months ago
Comparison of User Mobility Pattern Prediction Algorithms to increase Handover Trigger Accuracy
— The estimation of correct triggers for handover in cellular networks belongs to the critical tasks for accurate network operation. The importance of seamless handover even rise...
Stefan Michaelis, Christian Wietfeld
127
Voted
ICPR
2004
IEEE
16 years 2 months ago
Morphology Analysis of Physiological Signals Using Hidden Markov Models
We describe a clustering algorithm based on continuous Hidden Markov Models (HMM) to automatically classify both electrocardiogram (ECG) and intracranial pressure (ICP) beats base...
Daniel Novák, Lenka Lhotská, David C...
ICIAP
2007
ACM
16 years 1 months ago
A Method of Clustering Combination Applied to Satellite Image Analysis
An algorithm for combining results of different clusterings is presented in this paper, the objective of which is to find groups of patterns which are common to all clusterings. T...
Ivan O. Kyrgyzov, Henri Maître, Marine Campe...