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 9 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 7 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 30 min 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
171
Voted
ISMIR
2003
Springer
116views Music» more  ISMIR 2003»
15 years 12 months 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