Sciweavers

1522 search results - page 181 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
AIA
2006
13 years 11 months ago
A Recurrent Neural Filter for Adaptive Noise Cancellation
This paper presents a dynamic neural filter for adaptive noise cancellation. The cancellation task is transformed to a system-identification problem, which is tackled by use of th...
Paris A. Mastorocostas, Dimitris N. Varsamis, Cons...
ICASSP
2011
IEEE
13 years 1 months ago
Adaptive harmonic time-frequency decomposition of audio using shift-invariant PLCA
This paper presents a new algorithm based on shift-invariant probabilistic latent component analysis that analyzes harmonic structures in an audio signal. Each note in a constant-...
Benoit Fuentes, Roland Badeau, Gaël Richard
SCL
2010
132views more  SCL 2010»
13 years 4 months ago
Convergence in human decision-making dynamics
A class of binary decision-making tasks called the two-alternative forced-choice task has been used extensively in psychology and behavioral economics experiments to investigate h...
Ming Cao, Andrew Reed Stewart, Naomi Ehrich Leonar...
CHI
2004
ACM
14 years 10 months ago
Model-based evaluation of cell phone menu interaction
Cell phone interfaces are now ubiquitous. In this paper, we describe concepts to support the analysis of cell phone menu hierarchies. We present an empirical study of user perform...
Robert St. Amant, Thomas E. Horton, Frank E. Ritte...
HYBRID
2001
Springer
14 years 2 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...