Sciweavers

269 search results - page 9 / 54
» The Quantitative Structure of Exponential Time
Sort
View
QEST
2006
IEEE
14 years 1 months ago
Limiting Behavior of Markov Chains with Eager Attractors
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Ma...
ISMIR
2005
Springer
129views Music» more  ISMIR 2005»
14 years 1 months ago
Scalable Metadata and Quick Retrieval of Audio Signals
Audio search algorithms have reached a degree of speed and accuracy that allows them to search efficiently within large databases of audio. For speed, algorithms generally depend...
Nancy Bertin, Alain de Cheveigné
SIAMCO
2010
119views more  SIAMCO 2010»
13 years 2 months ago
Feedback Stabilization of a Fluid-Structure Model
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
Jean-Pierre Raymond
COLING
1990
13 years 8 months ago
Efficient Disjunctive Unification for Bottom-Up Parsing
This paper describes two novel techniques which, when applied together, in practice significantly reduce the time required for unifying disjunctive feature structures. The first i...
David M. Carter
LMCS
2006
98views more  LMCS 2006»
13 years 7 months ago
Approximate reasoning for real-time probabilistic processes
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisi...
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden