1123 search results - page 55 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
127
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper presents a signal processing tool for analyzing and manipulating digitized acoustic wave fields, based on a spatio-temporal extension of the time–frequency represent...
142
click to vote
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
111
click to vote
IJCAI
2003
15 years 4 months ago
2003
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
117
click to vote
ICISP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Measurement of activation rates in cardiac electrograms is commonly done though estimating the frequency of the sinusoid with the greatest power. This frequency, commonly...
156
click to vote
JCPHY
2011
14 years 6 months ago
2011
The calculation of radial distribution functions (RDFs) from molecular dynamics trajectory data is a common and computationally expensive analysis task. The rate limiting step in ...