Sciweavers

1522 search results - page 181 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
133
Voted
AIA
2006
15 years 5 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...
137
Voted
ICASSP
2011
IEEE
14 years 7 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
128
Voted
SCL
2010
132views more  SCL 2010»
14 years 10 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...
124
Voted
CHI
2004
ACM
16 years 4 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
15 years 8 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...