Sciweavers

9316 search results - page 283 / 1864
» Analysis of traceback techniques
Sort
View
ICASSP
2008
IEEE
16 years 1 months ago
Reproducing kernel Hilbert spaces for spike train analysis
This paper introduces a generalized cross-correlation (GCC) measure for spike train analysis derived from reproducing kernel Hilbert spaces (RKHS) theory. An estimator for GCC is ...
António R. C. Paiva, Il Park, Jose C. Princ...
COLCOM
2005
IEEE
16 years 27 days ago
Stochasticity of probabilistic systems: analysis methodologies case-study
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...
Anwitaman Datta, Martin Hasler, Karl Aberer
CONCUR
2005
Springer
16 years 25 days ago
Termination Analysis of Integer Linear Loops
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
CSMR
2003
IEEE
16 years 17 days ago
Improving Dynamic Data Analysis with Aspect-Oriented Programming
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...
Thomas Gschwind, Johann Oberleitner
ISMIR
2003
Springer
116views Music» more  ISMIR 2003»
16 years 14 days ago
Harmonic analysis with probabilistic graphical models
A technique for harmonic analysis is presented that partitions a piece of music into contiguous regions and labels each with the key, mode, and functional chord, e.g. tonic, domin...
Christopher Raphael, Josh Stoddard