---
_id: '11816'
abstract:
- lang: eng
text: In this paper, we consider the Maximum Likelihood (ML) estimation of the parameters
of a GAUSSIAN in the presence of censored, i.e., clipped data. We show that the
resulting Expectation Maximization (EM) algorithm delivers virtually biasfree
and efficient estimates, and we discuss its convergence properties. We also discuss
optimal classification in the presence of censored data. Censored data are frequently
encountered in wireless LAN positioning systems based on the fingerprinting method
employing signal strength measurements, due to the limited sensitivity of the
portable devices. Experiments both on simulated and real-world data demonstrate
the effectiveness of the proposed algorithms.
author:
- first_name: Manh Kha
full_name: Hoang, Manh Kha
last_name: Hoang
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Hoang MK, Haeb-Umbach R. Parameter estimation and classification of censored
Gaussian data with application to WiFi indoor positioning. In: 38th International
Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013). ; 2013:3721-3725.
doi:10.1109/ICASSP.2013.6638353'
apa: Hoang, M. K., & Haeb-Umbach, R. (2013). Parameter estimation and classification
of censored Gaussian data with application to WiFi indoor positioning. In 38th
International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)
(pp. 3721–3725). https://doi.org/10.1109/ICASSP.2013.6638353
bibtex: '@inproceedings{Hoang_Haeb-Umbach_2013, title={Parameter estimation and
classification of censored Gaussian data with application to WiFi indoor positioning},
DOI={10.1109/ICASSP.2013.6638353},
booktitle={38th International Conference on Acoustics, Speech, and Signal Processing
(ICASSP 2013)}, author={Hoang, Manh Kha and Haeb-Umbach, Reinhold}, year={2013},
pages={3721–3725} }'
chicago: Hoang, Manh Kha, and Reinhold Haeb-Umbach. “Parameter Estimation and Classification
of Censored Gaussian Data with Application to WiFi Indoor Positioning.” In 38th
International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013),
3721–25, 2013. https://doi.org/10.1109/ICASSP.2013.6638353.
ieee: M. K. Hoang and R. Haeb-Umbach, “Parameter estimation and classification of
censored Gaussian data with application to WiFi indoor positioning,” in 38th
International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013),
2013, pp. 3721–3725.
mla: Hoang, Manh Kha, and Reinhold Haeb-Umbach. “Parameter Estimation and Classification
of Censored Gaussian Data with Application to WiFi Indoor Positioning.” 38th
International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013),
2013, pp. 3721–25, doi:10.1109/ICASSP.2013.6638353.
short: 'M.K. Hoang, R. Haeb-Umbach, in: 38th International Conference on Acoustics,
Speech, and Signal Processing (ICASSP 2013), 2013, pp. 3721–3725.'
date_created: 2019-07-12T05:28:48Z
date_updated: 2022-01-06T06:51:09Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2013.6638353
keyword:
- Gaussian processes
- Global Positioning System
- convergence
- expectation-maximisation algorithm
- fingerprint identification
- indoor radio
- signal classification
- wireless LAN
- EM algorithm
- ML estimation
- WiFi indoor positioning
- censored Gaussian data classification
- clipped data
- convergence properties
- expectation maximization algorithm
- fingerprinting method
- maximum likelihood estimation
- optimal classification
- parameters estimation
- portable devices sensitivity
- signal strength measurements
- wireless LAN positioning systems
- Convergence
- IEEE 802.11 Standards
- Maximum likelihood estimation
- Parameter estimation
- Position measurement
- Training
- Indoor positioning
- censored data
- expectation maximization
- signal strength
- wireless LAN
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2013/HoHa2013.pdf
oa: '1'
page: 3721-3725
publication: 38th International Conference on Acoustics, Speech, and Signal Processing
(ICASSP 2013)
publication_identifier:
issn:
- 1520-6149
related_material:
link:
- description: Poster
relation: supplementary_material
url: https://groups.uni-paderborn.de/nt/pubs/2013/HoHa2013_Poster.pdf
status: public
title: Parameter estimation and classification of censored Gaussian data with application
to WiFi indoor positioning
type: conference
user_id: '44006'
year: '2013'
...
---
_id: '11862'
abstract:
- lang: eng
text: In this contribution we extend a previously proposed Bayesian approach for
the enhancement of reverberant logarithmic mel power spectral coefficients for
robust automatic speech recognition to the additional compensation of background
noise. A recently proposed observation model is employed whose time-variant observation
error statistics are obtained as a side product of the inference of the a posteriori
probability density function of the clean speech feature vectors. Further a reduction
of the computational effort and the memory requirements are achieved by using
a recursive formulation of the observation model. The performance of the proposed
algorithms is first experimentally studied on a connected digits recognition task
with artificially created noisy reverberant data. It is shown that the use of
the time-variant observation error model leads to a significant error rate reduction
at low signal-to-noise ratios compared to a time-invariant model. Further experiments
were conducted on a 5000 word task recorded in a reverberant and noisy environment.
A significant word error rate reduction was obtained demonstrating the effectiveness
of the approach on real-world data.
author:
- first_name: Volker
full_name: Leutnant, Volker
last_name: Leutnant
- first_name: Alexander
full_name: Krueger, Alexander
last_name: Krueger
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: Leutnant V, Krueger A, Haeb-Umbach R. Bayesian Feature Enhancement for Reverberation
and Noise Robust Speech Recognition. IEEE Transactions on Audio, Speech, and
Language Processing. 2013;21(8):1640-1652. doi:10.1109/TASL.2013.2258013
apa: Leutnant, V., Krueger, A., & Haeb-Umbach, R. (2013). Bayesian Feature Enhancement
for Reverberation and Noise Robust Speech Recognition. IEEE Transactions on
Audio, Speech, and Language Processing, 21(8), 1640–1652. https://doi.org/10.1109/TASL.2013.2258013
bibtex: '@article{Leutnant_Krueger_Haeb-Umbach_2013, title={Bayesian Feature Enhancement
for Reverberation and Noise Robust Speech Recognition}, volume={21}, DOI={10.1109/TASL.2013.2258013},
number={8}, journal={IEEE Transactions on Audio, Speech, and Language Processing},
author={Leutnant, Volker and Krueger, Alexander and Haeb-Umbach, Reinhold}, year={2013},
pages={1640–1652} }'
chicago: 'Leutnant, Volker, Alexander Krueger, and Reinhold Haeb-Umbach. “Bayesian
Feature Enhancement for Reverberation and Noise Robust Speech Recognition.” IEEE
Transactions on Audio, Speech, and Language Processing 21, no. 8 (2013): 1640–52.
https://doi.org/10.1109/TASL.2013.2258013.'
ieee: V. Leutnant, A. Krueger, and R. Haeb-Umbach, “Bayesian Feature Enhancement
for Reverberation and Noise Robust Speech Recognition,” IEEE Transactions on
Audio, Speech, and Language Processing, vol. 21, no. 8, pp. 1640–1652, 2013.
mla: Leutnant, Volker, et al. “Bayesian Feature Enhancement for Reverberation and
Noise Robust Speech Recognition.” IEEE Transactions on Audio, Speech, and Language
Processing, vol. 21, no. 8, 2013, pp. 1640–52, doi:10.1109/TASL.2013.2258013.
short: V. Leutnant, A. Krueger, R. Haeb-Umbach, IEEE Transactions on Audio, Speech,
and Language Processing 21 (2013) 1640–1652.
date_created: 2019-07-12T05:29:42Z
date_updated: 2022-01-06T06:51:11Z
department:
- _id: '54'
doi: 10.1109/TASL.2013.2258013
intvolume: ' 21'
issue: '8'
keyword:
- Bayes methods
- compensation
- error statistics
- reverberation
- speech recognition
- Bayesian feature enhancement
- background noise
- clean speech feature vectors
- compensation
- connected digits recognition task
- error statistics
- memory requirements
- noisy reverberant data
- posteriori probability density function
- recursive formulation
- reverberant logarithmic mel power spectral coefficients
- robust automatic speech recognition
- signal-to-noise ratios
- time-variant observation
- word error rate reduction
- Robust automatic speech recognition
- model-based Bayesian feature enhancement
- observation model for reverberant and noisy speech
- recursive observation model
language:
- iso: eng
page: 1640-1652
publication: IEEE Transactions on Audio, Speech, and Language Processing
status: public
title: Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition
type: journal_article
user_id: '44006'
volume: 21
year: '2013'
...
---
_id: '36994'
abstract:
- lang: eng
text: This paper proposes a quality driven, simulation based approach to functional
design verification, which applies mainly to IP-level HDL designs with well specified
test instruction format and is evaluated on a soft microprocessor core MB-LITE
[5]. The approach utilizes mutation analysis as the quality metric to steer an
automated simulation data generation process. It leads to a simulation flow with
two phases towards an enhanced mutation analysis result. First in a random simulation
phase, an in-loop heuristics is deployed and adjusts dynamically the test probability
distribution so as to improve the coverage efficiency. Next, for each remaining
hard-to-kill mutant, a search heuristics on test input space is developed to iteratively
locate a target test, using a specific objective cost function for the goal of
killing HDL mutant. The effectiveness of this integrated two-phase simulation
flow is demonstrated by the results with the MB-LITE microprocessor IP.
author:
- first_name: 'Tao '
full_name: 'Xie, Tao '
last_name: Xie
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Florian
full_name: Letombe, Florian
last_name: Letombe
citation:
ama: 'Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification
of a Soft Microprocessor. In: Proceedings of SOCC2012. IEEE; 2012. doi:10.1109/SOCC.2012.6398362'
apa: Xie, T., Müller, W., & Letombe, F. (2012). Mutation-Analysis Driven Functional
Verification of a Soft Microprocessor. Proceedings of SOCC2012. https://doi.org/10.1109/SOCC.2012.6398362
bibtex: '@inproceedings{Xie_Müller_Letombe_2012, place={ Niagara Falls, NY, USA
}, title={Mutation-Analysis Driven Functional Verification of a Soft Microprocessor},
DOI={10.1109/SOCC.2012.6398362},
booktitle={Proceedings of SOCC2012}, publisher={IEEE}, author={Xie, Tao and Müller,
Wolfgang and Letombe, Florian}, year={2012} }'
chicago: 'Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven
Functional Verification of a Soft Microprocessor.” In Proceedings of SOCC2012. Niagara
Falls, NY, USA : IEEE, 2012. https://doi.org/10.1109/SOCC.2012.6398362.'
ieee: 'T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification
of a Soft Microprocessor,” 2012, doi: 10.1109/SOCC.2012.6398362.'
mla: Xie, Tao, et al. “Mutation-Analysis Driven Functional Verification of a Soft
Microprocessor.” Proceedings of SOCC2012, IEEE, 2012, doi:10.1109/SOCC.2012.6398362.
short: 'T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara
Falls, NY, USA , 2012.'
date_created: 2023-01-17T08:46:14Z
date_updated: 2023-01-17T08:46:29Z
department:
- _id: '672'
doi: 10.1109/SOCC.2012.6398362
keyword:
- Analytical models
- Hardware design languages
- Microprocessors
- Cost function
- Data models
- Search problems
- IP networks
language:
- iso: eng
place: ' Niagara Falls, NY, USA '
publication: Proceedings of SOCC2012
publication_identifier:
eisbn:
- 978-1-4673-1295-0
publisher: IEEE
status: public
title: Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '37002'
abstract:
- lang: eng
text: HDL-mutation based fault injection and analysis is considered as an important
coverage metric for measuring the quality of design simulation processes [20,
3, 1, 2]. In this work, we try to solve the problem of automatic simulation data
generation targeting HDL mutation faults. We follow a search based approach and
eliminate the need for symbolic execution and mathematical constraint solving
from existing work. An objective cost function is defined on the test input space
and serves the guidance of search for fault-detecting test data. This is done
by first mapping the simulation traces under a test onto a control and data flow
graph structure which is extracted from the design. Then the progress of fault
detection can be measured quantitatively on this graph to be the cost value. By
minimizing this cost we approach the target test data. The effectiveness of the
cost function is investigated under an example neighborhood search scheme. Case
study with a floating point arithmetic IP design has shown that the cost function
is able to guide effectively the search procedure towards a fault-detecting test.
The cost calculation time as the search overhead was also observed to be minor
compared to the actual design simulation time.
author:
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Florian
full_name: Letombe, Florian
last_name: Letombe
citation:
ama: 'Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation
by Propagation Guided Search. In: Proceedings of Euromicro DSD 2011. IEEE;
2011. doi:10.1109/DSD.2011.83'
apa: Xie, T., Müller, W., & Letombe, F. (2011). HDL-Mutation Based Simulation
Data Generation by Propagation Guided Search. Proceedings of Euromicro DSD
2011. https://doi.org/10.1109/DSD.2011.83
bibtex: '@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation
Based Simulation Data Generation by Propagation Guided Search}, DOI={10.1109/DSD.2011.83},
booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie,
Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }'
chicago: 'Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation
Data Generation by Propagation Guided Search.” In Proceedings of Euromicro
DSD 2011. Oulu, Finnland: IEEE, 2011. https://doi.org/10.1109/DSD.2011.83.'
ieee: 'T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation
by Propagation Guided Search,” 2011, doi: 10.1109/DSD.2011.83.'
mla: Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation
Guided Search.” Proceedings of Euromicro DSD 2011, IEEE, 2011, doi:10.1109/DSD.2011.83.
short: 'T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE,
Oulu, Finnland, 2011.'
date_created: 2023-01-17T09:02:48Z
date_updated: 2025-02-26T14:44:15Z
department:
- _id: '672'
doi: 10.1109/DSD.2011.83
keyword:
- Hardware design languages
- Cost function
- Computational modeling
- Fault detection
- Data models
- Analytical models
- Testing
language:
- iso: eng
place: Oulu, Finnland
publication: Proceedings of Euromicro DSD 2011
publication_identifier:
isbn:
- 978-1-4577-1048-3
publisher: IEEE
status: public
title: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '11892'
abstract:
- lang: eng
text: For an environment to be perceived as being smart, contextual information
has to be gathered to adapt the system's behavior and its interface towards the
user. Being a rich source of context information speech can be acquired unobtrusively
by microphone arrays and then processed to extract information about the user
and his environment. In this paper, a system for joint temporal segmentation,
speaker localization, and identification is presented, which is supported by face
identification from video data obtained from a steerable camera. Special attention
is paid to latency aspects and online processing capabilities, as they are important
for the application under investigation, namely ambient communication. It describes
the vision of terminal-less, session-less and multi-modal telecommunication with
remote partners, where the user can move freely within his home while the communication
follows him. The speaker diarization serves as a context source, which has been
integrated in a service-oriented middleware architecture and provided to the application
to select the most appropriate I/O device and to steer the camera towards the
speaker during ambient communication.
author:
- first_name: Joerg
full_name: Schmalenstroeer, Joerg
id: '460'
last_name: Schmalenstroeer
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: Schmalenstroeer J, Haeb-Umbach R. Online Diarization of Streaming Audio-Visual
Data for Smart Environments. IEEE Journal of Selected Topics in Signal Processing.
2010;4(5):845-856. doi:10.1109/JSTSP.2010.2050519
apa: Schmalenstroeer, J., & Haeb-Umbach, R. (2010). Online Diarization of Streaming
Audio-Visual Data for Smart Environments. IEEE Journal of Selected Topics in
Signal Processing, 4(5), 845–856. https://doi.org/10.1109/JSTSP.2010.2050519
bibtex: '@article{Schmalenstroeer_Haeb-Umbach_2010, title={Online Diarization of
Streaming Audio-Visual Data for Smart Environments}, volume={4}, DOI={10.1109/JSTSP.2010.2050519},
number={5}, journal={IEEE Journal of Selected Topics in Signal Processing}, author={Schmalenstroeer,
Joerg and Haeb-Umbach, Reinhold}, year={2010}, pages={845–856} }'
chicago: 'Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization
of Streaming Audio-Visual Data for Smart Environments.” IEEE Journal of Selected
Topics in Signal Processing 4, no. 5 (2010): 845–56. https://doi.org/10.1109/JSTSP.2010.2050519.'
ieee: 'J. Schmalenstroeer and R. Haeb-Umbach, “Online Diarization of Streaming Audio-Visual
Data for Smart Environments,” IEEE Journal of Selected Topics in Signal Processing,
vol. 4, no. 5, pp. 845–856, 2010, doi: 10.1109/JSTSP.2010.2050519.'
mla: Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization of Streaming
Audio-Visual Data for Smart Environments.” IEEE Journal of Selected Topics
in Signal Processing, vol. 4, no. 5, 2010, pp. 845–56, doi:10.1109/JSTSP.2010.2050519.
short: J. Schmalenstroeer, R. Haeb-Umbach, IEEE Journal of Selected Topics in Signal
Processing 4 (2010) 845–856.
date_created: 2019-07-12T05:30:16Z
date_updated: 2023-10-26T08:10:18Z
department:
- _id: '54'
doi: 10.1109/JSTSP.2010.2050519
intvolume: ' 4'
issue: '5'
keyword:
- audio streaming
- audio visual data streaming
- context information speech
- face identification
- face recognition
- image segmentation
- middleware
- multimodal telecommunication
- online diarization
- service oriented middleware architecture
- sessionless telecommunication
- software architecture
- speaker identification
- speaker localization
- speaker recognition
- steerable camera
- telecommunication computing
- temporal segmentation
- terminal-less telecommunication
- video streaming
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2010/ScHa10.pdf
oa: '1'
page: 845-856
publication: IEEE Journal of Selected Topics in Signal Processing
quality_controlled: '1'
status: public
title: Online Diarization of Streaming Audio-Visual Data for Smart Environments
type: journal_article
user_id: '460'
volume: 4
year: '2010'
...
---
_id: '37050'
abstract:
- lang: eng
text: The main obstacle for the wide acceptance of UML and SysML in the design of
electronic systems is due to a major gap in the design flow between UML-based
modeling and SystemC-based verification. To overcome this gap, we present an approach
developed in the SATURN project which introduces UML profiles for the co-modeling
of SystemC and C with code generation support in the context of the SysML tool
suite ARTiSAN Studio®. We finally discuss the evaluation of the approach by two
case studies.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Da
full_name: He, Da
last_name: He
- first_name: Fabian
full_name: Mischkalla, Fabian
last_name: Mischkalla
- first_name: Arthur
full_name: Wegele, Arthur
last_name: Wegele
- first_name: Adrian
full_name: Larkham, Adrian
last_name: Larkham
- first_name: Paul
full_name: Whiston, Paul
last_name: Whiston
- first_name: Pablo
full_name: Penil, Pablo
last_name: Penil
- first_name: Eugenio
full_name: Villar, Eugenio
last_name: Villar
- first_name: Nikolaos
full_name: Mitas, Nikolaos
last_name: Mitas
- first_name: Dimitros
full_name: Kritharidis, Dimitros
last_name: Kritharidis
- first_name: Florent
full_name: Azcarate, Florent
last_name: Azcarate
- first_name: Manuel
full_name: Carballeda, Manuel
last_name: Carballeda
citation:
ama: 'Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW
Codesign. In: Proceedings of the IEEE Computer Society Annual Symposium on
VLSI. Lecture Notes in Electrical Engineering. ; 2010. doi:10.1007/978-94-007-1488-5_9'
apa: Müller, W., He, D., Mischkalla, F., Wegele, A., Larkham, A., Whiston, P., Penil,
P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., & Carballeda, M.
(2010). The SATURN Approach to SysML-based HW/SW Codesign. Proceedings of the
IEEE Computer Society Annual Symposium on VLSI. https://doi.org/10.1007/978-94-007-1488-5_9
bibtex: '@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et
al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN
Approach to SysML-based HW/SW Codesign}, DOI={10.1007/978-94-007-1488-5_9},
booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI},
author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur
and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and
Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture
Notes in Electrical Engineering} }'
chicago: Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham,
Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.”
In Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture
Notes in Electrical Engineering, 2010. https://doi.org/10.1007/978-94-007-1488-5_9.
ieee: 'W. Müller et al., “The SATURN Approach to SysML-based HW/SW Codesign,”
2010, doi: 10.1007/978-94-007-1488-5_9.'
mla: Müller, Wolfgang, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.”
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010,
doi:10.1007/978-94-007-1488-5_9.
short: 'W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil,
E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings
of the IEEE Computer Society Annual Symposium on VLSI, 2010.'
date_created: 2023-01-17T11:19:45Z
date_updated: 2023-01-17T11:19:53Z
department:
- _id: '672'
doi: 10.1007/978-94-007-1488-5_9
keyword:
- Communicate Sequential Process Virtual Platform Smart Camera Synchronous
Data Flow Artisan Studio
language:
- iso: eng
publication: Proceedings of the IEEE Computer Society Annual Symposium on VLSI
publication_identifier:
eisbn:
- 978-94-007-1488-5
series_title: Lecture Notes in Electrical Engineering
status: public
title: The SATURN Approach to SysML-based HW/SW Codesign
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '11943'
abstract:
- lang: eng
text: A marginalized particle filter is proposed for performing single channel speech
enhancement with a non-linear dynamic state model. The system consists of a particle
filter for tracking line spectral pair (LSP) parameters and a Kalman filter per
particle for speech enhancement. The state model for the LSPs has been learnt
on clean speech training data. In our approach parameters and speech samples are
processed at different time scales by assuming the parameters to be constant for
small blocks of data. Further enhancement is obtained by an iteration which can
be applied on these small blocks. The experiments show that similar SNR gains
are obtained as with the Kalman-LM-iterative algorithm. However better values
of the noise level and the log-spectral distance are achieved
author:
- first_name: Stefan
full_name: Windmann, Stefan
last_name: Windmann
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Windmann S, Haeb-Umbach R. Iterative Speech Enhancement using a Non-Linear
Dynamic State Model of Speech and its Parameters. In: IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2006). Vol 1. ; 2006:I.
doi:10.1109/ICASSP.2006.1660058'
apa: Windmann, S., & Haeb-Umbach, R. (2006). Iterative Speech Enhancement using
a Non-Linear Dynamic State Model of Speech and its Parameters. In IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2006) (Vol.
1, p. I). https://doi.org/10.1109/ICASSP.2006.1660058
bibtex: '@inproceedings{Windmann_Haeb-Umbach_2006, title={Iterative Speech Enhancement
using a Non-Linear Dynamic State Model of Speech and its Parameters}, volume={1},
DOI={10.1109/ICASSP.2006.1660058},
booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2006)}, author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2006},
pages={I} }'
chicago: Windmann, Stefan, and Reinhold Haeb-Umbach. “Iterative Speech Enhancement
Using a Non-Linear Dynamic State Model of Speech and Its Parameters.” In IEEE
International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006),
1:I, 2006. https://doi.org/10.1109/ICASSP.2006.1660058.
ieee: S. Windmann and R. Haeb-Umbach, “Iterative Speech Enhancement using a Non-Linear
Dynamic State Model of Speech and its Parameters,” in IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2006), 2006, vol. 1, p.
I.
mla: Windmann, Stefan, and Reinhold Haeb-Umbach. “Iterative Speech Enhancement Using
a Non-Linear Dynamic State Model of Speech and Its Parameters.” IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2006), vol.
1, 2006, p. I, doi:10.1109/ICASSP.2006.1660058.
short: 'S. Windmann, R. Haeb-Umbach, in: IEEE International Conference on Acoustics,
Speech and Signal Processing (ICASSP 2006), 2006, p. I.'
date_created: 2019-07-12T05:31:15Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2006.1660058
intvolume: ' 1'
keyword:
- clean speech training data
- iterative methods
- iterative speech enhancement
- Kalman filter
- Kalman filters
- Kalman-LM-iterative algorithm
- line spectral pair parameters
- log-spectral distance
- marginalized particle filter
- noise level
- nonlinear dynamic state speech model
- particle filtering (numerical methods)
- single channel speech enhancement
- SNR gains
- speech enhancement
- speech samples
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2006/WiHa06-2.pdf
oa: '1'
page: I
publication: IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2006)
status: public
title: Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech
and its Parameters
type: conference
user_id: '44006'
volume: 1
year: '2006'
...
---
_id: '39050'
abstract:
- lang: eng
text: Currently, middleware for smart home networks with embedded and mobile devices
are in the focus of several investigations. In this paper, we propose a middleware
for secure management of device and user profiles by integrating a profile database
with a generic authentication scheme for an X.509 enabled ticket management in
the context of the OSGi framework. After the introduction of the individual system
components and their interaction, we also discuss potential system attacks.
author:
- first_name: Max
full_name: Ziegler, Max
last_name: Ziegler
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Chris
full_name: Loeser, Chris
last_name: Loeser
citation:
ama: 'Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart
Home Networks. In: Proceedings of the 1st International Workshop on Secure
and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.171'
apa: Ziegler, M., Müller, W., Schäfer, R., & Loeser, C. (2005). Secure Profile
Management in Smart Home Networks. Proceedings of the 1st International Workshop
on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop
on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . https://doi.org/10.1109/DEXA.2005.171
bibtex: '@inproceedings{Ziegler_Müller_Schäfer_Loeser_2005, place={Copenhagen, Denmark
}, title={Secure Profile Management in Smart Home Networks}, DOI={10.1109/DEXA.2005.171},
booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous
Networks (SUN-2005)}, publisher={IEEE}, author={Ziegler, Max and Müller, Wolfgang
and Schäfer, Robbie and Loeser, Chris}, year={2005} }'
chicago: 'Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure
Profile Management in Smart Home Networks.” In Proceedings of the 1st International
Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark
: IEEE, 2005. https://doi.org/10.1109/DEXA.2005.171.'
ieee: 'M. Ziegler, W. Müller, R. Schäfer, and C. Loeser, “Secure Profile Management
in Smart Home Networks,” presented at the 16th International Workshop on Database
and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: 10.1109/DEXA.2005.171.'
mla: Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.” Proceedings
of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005),
IEEE, 2005, doi:10.1109/DEXA.2005.171.
short: 'M. Ziegler, W. Müller, R. Schäfer, C. Loeser, in: Proceedings of the 1st
International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen,
Denmark , 2005.'
conference:
location: 'Copenhagen, Denmark '
name: 16th International Workshop on Database and Expert Systems Applications (DEXA'05)
date_created: 2023-01-24T08:39:45Z
date_updated: 2023-01-24T08:39:50Z
department:
- _id: '672'
doi: 10.1109/DEXA.2005.171
keyword:
- Intelligent networks
- Smart homes
- Middleware
- Project management
- Data security
- Ubiquitous computing
- Context-aware services
- Computer architecture
- Home automation
- Environmental management
language:
- iso: eng
place: 'Copenhagen, Denmark '
publication: Proceedings of the 1st International Workshop on Secure and Ubiquitous
Networks (SUN-2005)
publication_identifier:
isbn:
- 0-7695-2424-9
publisher: IEEE
status: public
title: Secure Profile Management in Smart Home Networks
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39052'
abstract:
- lang: eng
text: Smart homes provide their users with maximum comfort and convenience. In this
paper, we present a profile management framework for situation-dependent customization
in smart home environments, which meet the user preferences with given device
capabilities. We apply profile processing and evolution methods to customize profiles
on the fly and to automatically evolve user preferences. Furthermore, we give
a comprehensive study on profile management technology.
author:
- first_name: Jinghua
full_name: Groppe, Jinghua
last_name: Groppe
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Groppe J, Müller W. Profile Management technology for Smart Customization
in Private Home Applications. In: Proceedings of the 1st International Workshop
on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.156'
apa: Groppe, J., & Müller, W. (2005). Profile Management technology for Smart
Customization in Private Home Applications. Proceedings of the 1st International
Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International
Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark
. https://doi.org/10.1109/DEXA.2005.156
bibtex: '@inproceedings{Groppe_Müller_2005, place={Copenhagen, Denmark }, title={Profile
Management technology for Smart Customization in Private Home Applications}, DOI={10.1109/DEXA.2005.156}, booktitle={Proceedings
of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)},
publisher={IEEE}, author={Groppe, Jinghua and Müller, Wolfgang}, year={2005} }'
chicago: 'Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for
Smart Customization in Private Home Applications.” In Proceedings of the 1st
International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen,
Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.156.'
ieee: 'J. Groppe and W. Müller, “Profile Management technology for Smart Customization
in Private Home Applications,” presented at the 16th International Workshop on
Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005,
doi: 10.1109/DEXA.2005.156.'
mla: Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for Smart
Customization in Private Home Applications.” Proceedings of the 1st International
Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, 2005, doi:10.1109/DEXA.2005.156.
short: 'J. Groppe, W. Müller, in: Proceedings of the 1st International Workshop
on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.'
conference:
location: 'Copenhagen, Denmark '
name: 16th International Workshop on Database and Expert Systems Applications (DEXA'05)
date_created: 2023-01-24T08:43:21Z
date_updated: 2023-01-24T08:43:27Z
department:
- _id: '672'
doi: 10.1109/DEXA.2005.156
keyword:
- Technology management
- Smart homes
- Environmental management
- Resource description framework
- Data models
- Navigation
- Mobile computing
- Embedded computing
- Ubiquitous computing
- Mobile communication
language:
- iso: eng
place: 'Copenhagen, Denmark '
publication: Proceedings of the 1st International Workshop on Secure and Ubiquitous
Networks (SUN-2005)
publication_identifier:
isbn:
- 0-7695-2424-9
publisher: IEEE
status: public
title: Profile Management technology for Smart Customization in Private Home Applications
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39061'
abstract:
- lang: eng
text: This article presents an approach, which combines theorem proving-based refinement
with model checking for state based real-time systems. Our verification flow starts
from UML state diagrams, which are translated to the formal B language and are
model checked for real-time properties. By means of the B language and a B theorem
prover, refined state diagrams are verified against their abstract representation.
The approach is presented by means of the refinement of a digital echo cancellation
unit.
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ian
full_name: Oliver, Ian
last_name: Oliver
citation:
ama: 'Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo
Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004.
doi:10.1109/DATE.2004.1269214'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model
Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum.
Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
bibtex: '@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement
and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214},
booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander
and Müller, Wolfgang and Oliver, Ian}, year={2004} }'
chicago: Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and
Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’
Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
ieee: 'A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking
of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation
and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.'
mla: Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation
Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
short: 'A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum,
Paris, 2004.'
conference:
name: Proceedings Design, Automation and Test in Europe Conference and Exhibition
date_created: 2023-01-24T08:53:26Z
date_updated: 2023-01-24T08:53:31Z
department:
- _id: '672'
doi: 10.1109/DATE.2004.1269214
keyword:
- Echo cancellers
- Logic
- Unified modeling language
- Automata
- Data structures
- Boolean functions
- Electronic design automation and methodology
- Prototypes
- Specification languages
- Constraint theory
language:
- iso: eng
place: Paris
publication: Proceedings of DATE’04 Designers' Forum
publication_identifier:
isbn:
- 0-7695-2085-5
status: public
title: Formal Refinement and Model Checking of An Echo Cancellation Unit
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '11778'
abstract:
- lang: eng
text: In this paper, it is shown that a correlation criterion is the appropriate
criterion for bottom-up clustering to obtain broad phonetic class regression trees
for maximum likelihood linear regression (MLLR)-based speaker adaptation. The
correlation structure among speech units is estimated on the speaker-independent
training data. In adaptation experiments the tree outperformed a regression tree
obtained from clustering according to closeness in acoustic space and achieved
results comparable with those of a manually designed broad phonetic class tree
author:
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: Haeb-Umbach R. Automatic generation of phonetic regression class trees for
MLLR adaptation. IEEE Transactions on Speech and Audio Processing. 2001;9(3):299-302.
doi:10.1109/89.906003
apa: Haeb-Umbach, R. (2001). Automatic generation of phonetic regression class trees
for MLLR adaptation. IEEE Transactions on Speech and Audio Processing,
9(3), 299–302. https://doi.org/10.1109/89.906003
bibtex: '@article{Haeb-Umbach_2001, title={Automatic generation of phonetic regression
class trees for MLLR adaptation}, volume={9}, DOI={10.1109/89.906003},
number={3}, journal={IEEE Transactions on Speech and Audio Processing}, author={Haeb-Umbach,
Reinhold}, year={2001}, pages={299–302} }'
chicago: 'Haeb-Umbach, Reinhold. “Automatic Generation of Phonetic Regression Class
Trees for MLLR Adaptation.” IEEE Transactions on Speech and Audio Processing
9, no. 3 (2001): 299–302. https://doi.org/10.1109/89.906003.'
ieee: R. Haeb-Umbach, “Automatic generation of phonetic regression class trees for
MLLR adaptation,” IEEE Transactions on Speech and Audio Processing, vol.
9, no. 3, pp. 299–302, 2001.
mla: Haeb-Umbach, Reinhold. “Automatic Generation of Phonetic Regression Class Trees
for MLLR Adaptation.” IEEE Transactions on Speech and Audio Processing,
vol. 9, no. 3, 2001, pp. 299–302, doi:10.1109/89.906003.
short: R. Haeb-Umbach, IEEE Transactions on Speech and Audio Processing 9 (2001)
299–302.
date_created: 2019-07-12T05:28:04Z
date_updated: 2022-01-06T06:51:08Z
department:
- _id: '54'
doi: 10.1109/89.906003
intvolume: ' 9'
issue: '3'
keyword:
- acoustic space
- adaptation experiments
- automatic generation
- bottom-up clustering
- broad phonetic class regression trees
- correlation criterion
- correlation methods
- maximum likelihood estimation
- maximum likelihood linear regression based speaker adaptation
- MLLR adaptation
- pattern clustering
- phonetic regression class trees
- speaker-independent training data
- speech recognition
- speech units
- statistical analysis
- trees (mathematics)
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2001/Ha01.pdf
oa: '1'
page: 299-302
publication: IEEE Transactions on Speech and Audio Processing
status: public
title: Automatic generation of phonetic regression class trees for MLLR adaptation
type: journal_article
user_id: '44006'
volume: 9
year: '2001'
...
---
_id: '11869'
abstract:
- lang: eng
text: Amongst several data driven approaches for designing filters for the time
sequence of spectral parameters, the linear discriminant analysis (LDA) based
method has been proposed for automatic speech recognition. Here we apply LDA-based
filter design to cepstral features, which better match the inherent assumption
of this method that feature vector components are uncorrelated. Extensive recognition
experiments have been conducted both on the standard TIMIT phone recognition task
and on a proprietary 130-words command word task under various adverse environmental
conditions, including reverberant data with real-life room impulse responses and
data processed by acoustic echo cancellation algorithms. Significant error rate
reductions have been achieved when applying the novel long-range feature filters
compared to standard approaches employing cepstral mean normalization and delta
and delta-delta features, in particular when facing acoustic echo cancellation
scenarios and room reverberation. For example, the phone accuracy on reverberated
TIMIT data could be increased from 50.7\% to 56.0\%
author:
- first_name: M.
full_name: Lieb, M.
last_name: Lieb
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Lieb M, Haeb-Umbach R. LDA derived cepstral trajectory filters in adverse
environmental conditions. In: IEEE International Conference on Acoustics, Speech,
and Signal Processing (ICASSP 2000). Vol 2. ; 2000:II1105-II1108 vol.2. doi:10.1109/ICASSP.2000.859157'
apa: Lieb, M., & Haeb-Umbach, R. (2000). LDA derived cepstral trajectory filters
in adverse environmental conditions. In IEEE International Conference on Acoustics,
Speech, and Signal Processing (ICASSP 2000) (Vol. 2, pp. II1105-II1108 vol.2).
https://doi.org/10.1109/ICASSP.2000.859157
bibtex: '@inproceedings{Lieb_Haeb-Umbach_2000, title={LDA derived cepstral trajectory
filters in adverse environmental conditions}, volume={2}, DOI={10.1109/ICASSP.2000.859157},
booktitle={IEEE International Conference on Acoustics, Speech, and Signal Processing
(ICASSP 2000)}, author={Lieb, M. and Haeb-Umbach, Reinhold}, year={2000}, pages={II1105-II1108
vol.2} }'
chicago: Lieb, M., and Reinhold Haeb-Umbach. “LDA Derived Cepstral Trajectory Filters
in Adverse Environmental Conditions.” In IEEE International Conference on Acoustics,
Speech, and Signal Processing (ICASSP 2000), 2:II1105-II1108 vol.2, 2000.
https://doi.org/10.1109/ICASSP.2000.859157.
ieee: M. Lieb and R. Haeb-Umbach, “LDA derived cepstral trajectory filters in adverse
environmental conditions,” in IEEE International Conference on Acoustics, Speech,
and Signal Processing (ICASSP 2000), 2000, vol. 2, pp. II1105-II1108 vol.2.
mla: Lieb, M., and Reinhold Haeb-Umbach. “LDA Derived Cepstral Trajectory Filters
in Adverse Environmental Conditions.” IEEE International Conference on Acoustics,
Speech, and Signal Processing (ICASSP 2000), vol. 2, 2000, pp. II1105-II1108
vol.2, doi:10.1109/ICASSP.2000.859157.
short: 'M. Lieb, R. Haeb-Umbach, in: IEEE International Conference on Acoustics,
Speech, and Signal Processing (ICASSP 2000), 2000, pp. II1105-II1108 vol.2.'
date_created: 2019-07-12T05:29:50Z
date_updated: 2022-01-06T06:51:11Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2000.859157
intvolume: ' 2'
keyword:
- acoustic echo cancellation algorithms
- adverse environmental conditions
- automatic speech recognition
- cepstral analysis
- cepstral features
- cepstral mean normalization
- command word task
- delta-delta features
- delta features
- echo suppression
- error rate reductions
- feature vector components
- FIR filters
- LDA derived cepstral trajectory filters
- linear discriminant analysis
- long-range feature filters
- phone accuracy
- real-life room impulse responses
- reverberant data
- spectral parameters
- speech recognition
- standard TIMIT phone recognition task
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2000/LiHa00.pdf
oa: '1'
page: II1105-II1108 vol.2
publication: IEEE International Conference on Acoustics, Speech, and Signal Processing
(ICASSP 2000)
status: public
title: LDA derived cepstral trajectory filters in adverse environmental conditions
type: conference
user_id: '44006'
volume: 2
year: '2000'
...