Sciweavers

1551 search results - page 33 / 311
» Elastic Vector Time
Sort
View
FSTTCS
2009
Springer
14 years 3 months ago
The Covering and Boundedness Problems for Branching Vector Addition Systems
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
Stéphane Demri, Marcin Jurdzinski, Oded Lac...
ETS
2006
IEEE
119views Hardware» more  ETS 2006»
14 years 2 months ago
On-Chip Test Generation Using Linear Subspaces
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
Ramashis Das, Igor L. Markov, John P. Hayes
FSTTCS
2005
Springer
14 years 2 months ago
Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation
Abstract. We consider exchange economies where the traders’ preferences are expressed in terms of the extensively used constant elasticity of substitution (CES) utility functions...
Bruno Codenotti, Benton McCune, Sriram Penumatcha,...
ICAD
2004
13 years 9 months ago
Towards Enhancing Earthquake Response Interpretation Using Sonification
In this paper, we select the application domain of earthquake engineering for utility of sonification, where signals are of random frequency and amplitude content. In particular, ...
Lakshmy Ramaswamy, Tara C. Hutchinson, Falko Kuest...
CSDA
2007
124views more  CSDA 2007»
13 years 8 months ago
Wavelet based time-varying vector autoregressive modelling
Vector autoregressive (VAR) modelling is one of the most popular approaches in multivariate time series analysis. The parameters interpretation is simple, and provide an intuitive...
João Ricardo Sato, Pedro Alberto Morettin, ...