4022 search results - page 321 / 805 » Adaptive Sweeping Techniques |
166
Voted
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we extend an existing audio background modelling technique, leading to a more robust application to complex audio environments. The determination of background audio...
255
Voted
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
206
Voted
PRIB
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Clustering is a widely used unsupervised data analysis technique in machine learning. However, a common requirement amongst many existing clustering methods is that all p...
217
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
162
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...