---
_id: '11913'
abstract:
- lang: eng
text: In this paper we propose to employ directional statistics in a complex vector
space to approach the problem of blind speech separation in the presence of spatially
correlated noise. We interpret the values of the short time Fourier transform
of the microphone signals to be draws from a mixture of complex Watson distributions,
a probabilistic model which naturally accounts for spatial aliasing. The parameters
of the density are related to the a priori source probabilities, the power of
the sources and the transfer function ratios from sources to sensors. Estimation
formulas are derived for these parameters by employing the Expectation Maximization
(EM) algorithm. The E-step corresponds to the estimation of the source presence
probabilities for each time-frequency bin, while the M-step leads to a maximum
signal-to-noise ratio (MaxSNR) beamformer in the presence of uncertainty about
the source activity. Experimental results are reported for an implementation in
a generalized sidelobe canceller (GSC) like spatial beamforming configuration
for 3 speech sources with significant coherent noise in reverberant environments,
demonstrating the usefulness of the novel modeling framework.
author:
- first_name: Dang Hai
full_name: Tran Vu, Dang Hai
last_name: Tran Vu
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Tran Vu DH, Haeb-Umbach R. Blind speech separation employing directional statistics
in an Expectation Maximization framework. In: IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2010). ; 2010:241-244.
doi:10.1109/ICASSP.2010.5495994'
apa: Tran Vu, D. H., & Haeb-Umbach, R. (2010). Blind speech separation employing
directional statistics in an Expectation Maximization framework. In IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2010) (pp. 241–244).
https://doi.org/10.1109/ICASSP.2010.5495994
bibtex: '@inproceedings{Tran Vu_Haeb-Umbach_2010, title={Blind speech separation
employing directional statistics in an Expectation Maximization framework}, DOI={10.1109/ICASSP.2010.5495994},
booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2010)}, author={Tran Vu, Dang Hai and Haeb-Umbach, Reinhold}, year={2010},
pages={241–244} }'
chicago: Tran Vu, Dang Hai, and Reinhold Haeb-Umbach. “Blind Speech Separation Employing
Directional Statistics in an Expectation Maximization Framework.” In IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2010), 241–44,
2010. https://doi.org/10.1109/ICASSP.2010.5495994.
ieee: D. H. Tran Vu and R. Haeb-Umbach, “Blind speech separation employing directional
statistics in an Expectation Maximization framework,” in IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2010), 2010,
pp. 241–244.
mla: Tran Vu, Dang Hai, and Reinhold Haeb-Umbach. “Blind Speech Separation Employing
Directional Statistics in an Expectation Maximization Framework.” IEEE International
Conference on Acoustics, Speech and Signal Processing (ICASSP 2010), 2010,
pp. 241–44, doi:10.1109/ICASSP.2010.5495994.
short: 'D.H. Tran Vu, R. Haeb-Umbach, in: IEEE International Conference on Acoustics,
Speech and Signal Processing (ICASSP 2010), 2010, pp. 241–244.'
date_created: 2019-07-12T05:30:40Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2010.5495994
keyword:
- array signal processing
- blind source separation
- blind speech separation
- complex vector space
- complex Watson distribution
- directional statistics
- expectation-maximisation algorithm
- expectation maximization algorithm
- Fourier transform
- Fourier transforms
- generalized sidelobe canceller
- interference suppression
- maximum signal-to-noise ratio beamformer
- microphone signal
- probabilistic model
- spatial aliasing
- spatial beamforming configuration
- speech enhancement
- statistical distributions
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2010/DaHa10-2.pdf
oa: '1'
page: 241-244
publication: IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2010)
status: public
title: Blind speech separation employing directional statistics in an Expectation
Maximization framework
type: conference
user_id: '44006'
year: '2010'
...
---
_id: '37037'
abstract:
- lang: eng
text: Today we can identify a big gap between requirement specification and the
generation of test environments. This article extends the Classification Tree
Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the
precise specification of stimuli for operational ranges of continuous control
systems. It introduces novel means for continuous acceptance criteria definition
and for functional coverage definition.
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
citation:
ama: 'Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In:
Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186'
apa: Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW
System Test. Proceedings of DATE’10. Design, Automation & Test in Europe
Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
bibtex: '@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic
Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander
and Müller, Wolfgang}, year={2010} }'
chicago: 'Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined
HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.'
ieee: 'A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,”
presented at the Design, Automation & Test in Europe Conference & Exhibition
(DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.'
mla: Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW
System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
short: 'A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
location: Dresden
name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:41:15Z
date_updated: 2023-01-17T10:41:25Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457186
keyword:
- System testing
- Automatic testing
- Object oriented modeling
- Classification tree analysis
- Automotive engineering
- Mathematical model
- Embedded system
- Control systems
- Electronic equipment testing
- Software testing
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: A Systematic Approach to Combined HW/SW System Test
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37057'
abstract:
- lang: eng
text: Many heterogeneous embedded systems, for example industrial automation and
automotive applications, require hard-real time constraints to be exhaustively
verified - which is a challenging task for the verification engineer. To cope
with complexity, verification techniques working on different abstraction levels
are best practice. SystemC is a versatile C++ based design and verification language,
offering various mechanisms and constructs required for embedded systems modeling.
Using the add-on SystemC Verification Library (SCV) elemental constrained-random
stimuli techniques may be used for verification. However, SCV has several drawbacks
such as lack of functional coverage. In this paper we present a functional coverage
library that implements parts of the IEEE 1800-2005 SystemVerilog standard and
allows capturing functional coverage throughout the design and verification process
with SystemC. Moreover, we will demonstrate the usability of the approach with
a case study working on a CAN bus model written in SystemC.
author:
- first_name: Gilles B.
full_name: Defo, Gilles B.
last_name: Defo
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
citation:
ama: 'Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with
Functional Coverage. In: Proceedings of SIES 2010. IEEE; 2010. doi:10.1109/SIES.2010.5551379'
apa: Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus
Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International
Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379
bibtex: '@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification
of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379},
booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B.
and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }'
chicago: 'Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification
of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of
SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.'
ieee: 'G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in
SystemC with Functional Coverage,” presented at the International Symposium on
Industrial Embedded System (SIES), Trento, Italy, 2010, doi: 10.1109/SIES.2010.5551379.'
mla: Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional
Coverage.” Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.
short: 'G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento,
Italy, 2010.'
conference:
location: ' Trento, Italy'
name: International Symposium on Industrial Embedded System (SIES)
date_created: 2023-01-17T11:34:56Z
date_updated: 2023-01-17T11:35:03Z
department:
- _id: '672'
doi: 10.1109/SIES.2010.5551379
keyword:
- Libraries
- Generators
- Transfer functions
- Monitoring
- Computational modeling
- Driver circuits
- Adaptation model
language:
- iso: eng
place: ' Trento, Italy'
publication: Proceedings of SIES 2010
publication_identifier:
eisbn:
- 978-1-4244-5841-7
publisher: IEEE
status: public
title: Verification of a CAN Bus Model in SystemC with Functional Coverage
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '11723'
abstract:
- lang: eng
text: In this paper we present a novel vehicle tracking algorithm, which is based
on multi-level sensor fusion of GPS (global positioning system) with Inertial
Measurement Unit sensor data. It is shown that the robustness of the system to
temporary dropouts of the GPS signal, which may occur due to limited visibility
of satellites in narrow street canyons or tunnels, is greatly improved by sensor
fusion. We further demonstrate how the observation and state noise covariances
of the employed Kalman filters can be estimated alongside the filtering by an
application of the Expectation-Maximization algorithm. The proposed time-variant
multi-level Kalman filter is shown to outperform an Interacting Multiple Model
approach while at the same time being computationally less demanding.
author:
- first_name: Maik
full_name: Bevermeier, Maik
last_name: Bevermeier
- first_name: Sven
full_name: Peschke, Sven
last_name: Peschke
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Bevermeier M, Peschke S, Haeb-Umbach R. Robust vehicle localization based
on multi-level sensor fusion and online parameter estimation. In: 6th Workshop
on Positioning Navigation and Communication (WPNC 2009). ; 2009:235-242. doi:10.1109/WPNC.2009.4907833'
apa: Bevermeier, M., Peschke, S., & Haeb-Umbach, R. (2009). Robust vehicle localization
based on multi-level sensor fusion and online parameter estimation. In 6th
Workshop on Positioning Navigation and Communication (WPNC 2009) (pp. 235–242).
https://doi.org/10.1109/WPNC.2009.4907833
bibtex: '@inproceedings{Bevermeier_Peschke_Haeb-Umbach_2009, title={Robust vehicle
localization based on multi-level sensor fusion and online parameter estimation},
DOI={10.1109/WPNC.2009.4907833},
booktitle={6th Workshop on Positioning Navigation and Communication (WPNC 2009)},
author={Bevermeier, Maik and Peschke, Sven and Haeb-Umbach, Reinhold}, year={2009},
pages={235–242} }'
chicago: Bevermeier, Maik, Sven Peschke, and Reinhold Haeb-Umbach. “Robust Vehicle
Localization Based on Multi-Level Sensor Fusion and Online Parameter Estimation.”
In 6th Workshop on Positioning Navigation and Communication (WPNC 2009),
235–42, 2009. https://doi.org/10.1109/WPNC.2009.4907833.
ieee: M. Bevermeier, S. Peschke, and R. Haeb-Umbach, “Robust vehicle localization
based on multi-level sensor fusion and online parameter estimation,” in 6th
Workshop on Positioning Navigation and Communication (WPNC 2009), 2009, pp.
235–242.
mla: Bevermeier, Maik, et al. “Robust Vehicle Localization Based on Multi-Level
Sensor Fusion and Online Parameter Estimation.” 6th Workshop on Positioning
Navigation and Communication (WPNC 2009), 2009, pp. 235–42, doi:10.1109/WPNC.2009.4907833.
short: 'M. Bevermeier, S. Peschke, R. Haeb-Umbach, in: 6th Workshop on Positioning
Navigation and Communication (WPNC 2009), 2009, pp. 235–242.'
date_created: 2019-07-12T05:27:01Z
date_updated: 2022-01-06T06:51:07Z
department:
- _id: '54'
doi: 10.1109/WPNC.2009.4907833
keyword:
- covariance matrices
- expectation-maximisation algorithm
- expectation-maximization algorithm
- global positioning system
- Global Positioning System
- GPS
- inertial measurement unit
- interacting multiple model approach
- Kalman filters
- multilevel sensor fusion
- narrow street canyons
- narrow tunnels
- online parameter estimation
- parameter estimation
- road vehicles
- robust vehicle localization
- sensor fusion
- state noise covariances
- time-variant multilevel Kalman filter
- vehicle tracking algorithm
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2009/BePeHa09.pdf
oa: '1'
page: 235-242
publication: 6th Workshop on Positioning Navigation and Communication (WPNC 2009)
status: public
title: Robust vehicle localization based on multi-level sensor fusion and online parameter
estimation
type: conference
user_id: '44006'
year: '2009'
...
---
_id: '11724'
abstract:
- lang: eng
text: In this paper we present a novel vehicle tracking method which is based on
multi-stage Kalman filtering of GPS and IMU sensor data. After individual Kalman
filtering of GPS and IMU measurements the estimates of the orientation of the
vehicle are combined in an optimal manner to improve the robustness towards drift
errors. The tracking algorithm incorporates the estimation of time-variant covariance
parameters by using an iterative block Expectation-Maximization algorithm to account
for time-variant driving conditions and measurement quality. The proposed system
is compared to an interacting multiple model approach (IMM) and achieves improved
localization accuracy at lower computational complexity. Furthermore we show how
the joint parameter estimation and localizaiton can be conducted with streaming
input data to be able to track vehicles in a real driving environment.
author:
- first_name: Maik
full_name: Bevermeier, Maik
last_name: Bevermeier
- first_name: Sven
full_name: Peschke, Sven
last_name: Peschke
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Bevermeier M, Peschke S, Haeb-Umbach R. Joint Parameter Estimation and Tracking
in a Multi-Stage Kalman Filter for Vehicle Positioning. In: IEEE 69th Vehicular
Technology Conference (VTC 2009 Spring). ; 2009:1-5. doi:10.1109/VETECS.2009.5073634'
apa: Bevermeier, M., Peschke, S., & Haeb-Umbach, R. (2009). Joint Parameter
Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning.
In IEEE 69th Vehicular Technology Conference (VTC 2009 Spring) (pp. 1–5).
https://doi.org/10.1109/VETECS.2009.5073634
bibtex: '@inproceedings{Bevermeier_Peschke_Haeb-Umbach_2009, title={Joint Parameter
Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning},
DOI={10.1109/VETECS.2009.5073634},
booktitle={IEEE 69th Vehicular Technology Conference (VTC 2009 Spring)}, author={Bevermeier,
Maik and Peschke, Sven and Haeb-Umbach, Reinhold}, year={2009}, pages={1–5} }'
chicago: Bevermeier, Maik, Sven Peschke, and Reinhold Haeb-Umbach. “Joint Parameter
Estimation and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning.”
In IEEE 69th Vehicular Technology Conference (VTC 2009 Spring), 1–5, 2009.
https://doi.org/10.1109/VETECS.2009.5073634.
ieee: M. Bevermeier, S. Peschke, and R. Haeb-Umbach, “Joint Parameter Estimation
and Tracking in a Multi-Stage Kalman Filter for Vehicle Positioning,” in IEEE
69th Vehicular Technology Conference (VTC 2009 Spring), 2009, pp. 1–5.
mla: Bevermeier, Maik, et al. “Joint Parameter Estimation and Tracking in a Multi-Stage
Kalman Filter for Vehicle Positioning.” IEEE 69th Vehicular Technology Conference
(VTC 2009 Spring), 2009, pp. 1–5, doi:10.1109/VETECS.2009.5073634.
short: 'M. Bevermeier, S. Peschke, R. Haeb-Umbach, in: IEEE 69th Vehicular Technology
Conference (VTC 2009 Spring), 2009, pp. 1–5.'
date_created: 2019-07-12T05:27:02Z
date_updated: 2022-01-06T06:51:07Z
department:
- _id: '54'
doi: 10.1109/VETECS.2009.5073634
keyword:
- computational complexity
- expectation-maximisation algorithm
- Global Positioning System
- inertial measurement unit
- inertial navigation
- interacting multiple model
- iterative block expectation-maximization algorithm
- Kalman filters
- multi-stage Kalman filter
- parameter estimation
- road vehicles
- vehicle positioning
- vehicle tracking
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2009/BePeHa09-1.pdf
oa: '1'
page: 1-5
publication: IEEE 69th Vehicular Technology Conference (VTC 2009 Spring)
status: public
title: Joint Parameter Estimation and Tracking in a Multi-Stage Kalman Filter for
Vehicle Positioning
type: conference
user_id: '44006'
year: '2009'
...
---
_id: '11937'
abstract:
- lang: eng
text: In automatic speech recognition, hidden Markov models (HMMs) are commonly
used for speech decoding, while switching linear dynamic models (SLDMs) can be
employed for a preceding model-based speech feature enhancement. In this paper,
these model types are combined in order to obtain a novel iterative speech feature
enhancement and recognition architecture. It is shown that speech feature enhancement
with SLDMs can be improved by feeding back information from the HMM to the enhancement
stage. Two different feedback structures are derived. In the first, the posteriors
of the HMM states are used to control the model probabilities of the SLDMs, while
in the second they are employed to directly influence the estimate of the speech
feature distribution. Both approaches lead to improvements in recognition accuracy
both on the AURORA2 and AURORA4 databases compared to non-iterative speech feature
enhancement with SLDMs. It is also shown that a combination with uncertainty decoding
further enhances performance.
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. Approaches to Iterative Speech Feature Enhancement
and Recognition. IEEE Transactions on Audio, Speech, and Language Processing.
2009;17(5):974-984. doi:10.1109/TASL.2009.2014894
apa: Windmann, S., & Haeb-Umbach, R. (2009). Approaches to Iterative Speech
Feature Enhancement and Recognition. IEEE Transactions on Audio, Speech, and
Language Processing, 17(5), 974–984. https://doi.org/10.1109/TASL.2009.2014894
bibtex: '@article{Windmann_Haeb-Umbach_2009, title={Approaches to Iterative Speech
Feature Enhancement and Recognition}, volume={17}, DOI={10.1109/TASL.2009.2014894},
number={5}, journal={IEEE Transactions on Audio, Speech, and Language Processing},
author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2009}, pages={974–984}
}'
chicago: 'Windmann, Stefan, and Reinhold Haeb-Umbach. “Approaches to Iterative Speech
Feature Enhancement and Recognition.” IEEE Transactions on Audio, Speech, and
Language Processing 17, no. 5 (2009): 974–84. https://doi.org/10.1109/TASL.2009.2014894.'
ieee: S. Windmann and R. Haeb-Umbach, “Approaches to Iterative Speech Feature Enhancement
and Recognition,” IEEE Transactions on Audio, Speech, and Language Processing,
vol. 17, no. 5, pp. 974–984, 2009.
mla: Windmann, Stefan, and Reinhold Haeb-Umbach. “Approaches to Iterative Speech
Feature Enhancement and Recognition.” IEEE Transactions on Audio, Speech, and
Language Processing, vol. 17, no. 5, 2009, pp. 974–84, doi:10.1109/TASL.2009.2014894.
short: S. Windmann, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language
Processing 17 (2009) 974–984.
date_created: 2019-07-12T05:31:08Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: 10.1109/TASL.2009.2014894
intvolume: ' 17'
issue: '5'
keyword:
- AURORA2 databases
- AURORA4 databases
- automatic speech recognition
- feedback structures
- hidden Markov models
- HMM
- iterative methods
- iterative speech feature enhancement
- model probabilities
- speech decoding
- speech enhancement
- speech feature distribution
- speech recognition
- switching linear dynamic models
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2009/WiHa09-1.pdf
oa: '1'
page: 974-984
publication: IEEE Transactions on Audio, Speech, and Language Processing
status: public
title: Approaches to Iterative Speech Feature Enhancement and Recognition
type: journal_article
user_id: '44006'
volume: 17
year: '2009'
...
---
_id: '11938'
abstract:
- lang: eng
text: In this paper, parameter estimation of a state-space model of noise or noisy
speech cepstra is investigated. A blockwise EM algorithm is derived for the estimation
of the state and observation noise covariance from noise-only input data. It is
supposed to be used during the offline training mode of a speech recognizer. Further
a sequential online EM algorithm is developed to adapt the observation noise covariance
on noisy speech cepstra at its input. The estimated parameters are then used in
model-based speech feature enhancement for noise-robust automatic speech recognition.
Experiments on the AURORA4 database lead to improved recognition results with
a linear state model compared to the assumption of stationary noise.
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. Parameter Estimation of a State-Space Model of Noise
for Robust Speech Recognition. IEEE Transactions on Audio, Speech, and Language
Processing. 2009;17(8):1577-1590. doi:10.1109/TASL.2009.2023172
apa: Windmann, S., & Haeb-Umbach, R. (2009). Parameter Estimation of a State-Space
Model of Noise for Robust Speech Recognition. IEEE Transactions on Audio, Speech,
and Language Processing, 17(8), 1577–1590. https://doi.org/10.1109/TASL.2009.2023172
bibtex: '@article{Windmann_Haeb-Umbach_2009, title={Parameter Estimation of a State-Space
Model of Noise for Robust Speech Recognition}, volume={17}, DOI={10.1109/TASL.2009.2023172},
number={8}, journal={IEEE Transactions on Audio, Speech, and Language Processing},
author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2009}, pages={1577–1590}
}'
chicago: 'Windmann, Stefan, and Reinhold Haeb-Umbach. “Parameter Estimation of a
State-Space Model of Noise for Robust Speech Recognition.” IEEE Transactions
on Audio, Speech, and Language Processing 17, no. 8 (2009): 1577–90. https://doi.org/10.1109/TASL.2009.2023172.'
ieee: S. Windmann and R. Haeb-Umbach, “Parameter Estimation of a State-Space Model
of Noise for Robust Speech Recognition,” IEEE Transactions on Audio, Speech,
and Language Processing, vol. 17, no. 8, pp. 1577–1590, 2009.
mla: Windmann, Stefan, and Reinhold Haeb-Umbach. “Parameter Estimation of a State-Space
Model of Noise for Robust Speech Recognition.” IEEE Transactions on Audio,
Speech, and Language Processing, vol. 17, no. 8, 2009, pp. 1577–90, doi:10.1109/TASL.2009.2023172.
short: S. Windmann, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language
Processing 17 (2009) 1577–1590.
date_created: 2019-07-12T05:31:09Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: 10.1109/TASL.2009.2023172
intvolume: ' 17'
issue: '8'
keyword:
- AURORA4 database
- blockwise EM algorithm
- covariance analysis
- linear state model
- noise covariance
- noise-robust automatic speech recognition
- noisy speech cepstra
- offline training mode
- parameter estimation
- speech recognition
- speech recognition equipment
- speech recognizer
- state-space methods
- state-space model
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2009/WiHa09-2.pdf
oa: '1'
page: 1577-1590
publication: IEEE Transactions on Audio, Speech, and Language Processing
status: public
title: Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition
type: journal_article
user_id: '44006'
volume: 17
year: '2009'
...
---
_id: '17272'
abstract:
- lang: eng
text: In developmental research, tutoring behavior has been identified as scaffolding
infants' learning processes. It has been defined in terms of child-directed speech
(Motherese), child-directed motion (Motionese), and contingency. In the field
of developmental robotics, research often assumes that in human-robot interaction
(HRI), robots are treated similar to infants, because their immature cognitive
capabilities benefit from this behavior. However, according to our knowledge,
it has barely been studied whether this is true and how exactly humans alter their
behavior towards a robotic interaction partner. In this paper, we present results
concerning the acceptance of a robotic agent in a social learning scenario obtained
via comparison to adults and 8-11 months old infants in equal conditions. These
results constitute an important empirical basis for making use of tutoring behavior
in social robotics. In our study, we performed a detailed multimodal analysis
of HRI in a tutoring situation using the example of a robot simulation equipped
with a bottom-up saliency-based attention model. Our results reveal significant
differences in hand movement velocity, motion pauses, range of motion, and eye
gaze suggesting that for example adults decrease their hand movement velocity
in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI)
and this decrease is even higher in the Adult-Robot Interaction (ARI). We also
found important differences between ACI and ARI in how the behavior is modified
over time as the interaction unfolds. These findings indicate the necessity of
integrating top-down feedback structures into a bottom-up system for robots to
be fully accepted as interaction partners.
author:
- first_name: Anna-Lisa
full_name: Vollmer, Anna-Lisa
last_name: Vollmer
- first_name: Katrin Solveig
full_name: Lohan, Katrin Solveig
last_name: Lohan
- first_name: Kerstin
full_name: Fischer, Kerstin
last_name: Fischer
- first_name: Yukie
full_name: Nagai, Yukie
last_name: Nagai
- first_name: Karola
full_name: Pitsch, Karola
last_name: Pitsch
- first_name: Jannik
full_name: Fritsch, Jannik
last_name: Fritsch
- first_name: Katharina
full_name: Rohlfing, Katharina
id: '50352'
last_name: Rohlfing
- first_name: Britta
full_name: Wrede, Britta
last_name: Wrede
citation:
ama: 'Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior
in robot-directed interaction for action learning. In: Development and Learning,
2009. ICDL 2009. IEEE 8th International Conference on Development and Learning.
IEEE; 2009:1-6. doi:10.1109/DEVLRN.2009.5175516'
apa: Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch,
J., Rohlfing, K., & Wrede, B. (2009). People modify their tutoring behavior
in robot-directed interaction for action learning. Development and Learning,
2009. ICDL 2009. IEEE 8th International Conference on Development and Learning,
1–6. https://doi.org/10.1109/DEVLRN.2009.5175516
bibtex: '@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009,
title={People modify their tutoring behavior in robot-directed interaction for
action learning}, DOI={10.1109/DEVLRN.2009.5175516},
booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and
Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola
and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6}
}'
chicago: Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai,
Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify
Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In
Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning, 1–6. IEEE, 2009. https://doi.org/10.1109/DEVLRN.2009.5175516.
ieee: 'A.-L. Vollmer et al., “People modify their tutoring behavior in robot-directed
interaction for action learning,” in Development and Learning, 2009. ICDL 2009.
IEEE 8th International Conference on Development and Learning, 2009, pp. 1–6,
doi: 10.1109/DEVLRN.2009.5175516.'
mla: Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed
Interaction for Action Learning.” Development and Learning, 2009. ICDL 2009.
IEEE 8th International Conference on Development and Learning, IEEE, 2009,
pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
short: 'A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch,
K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th
International Conference on Development and Learning, IEEE, 2009, pp. 1–6.'
date_created: 2020-06-24T13:02:43Z
date_updated: 2023-02-01T13:06:43Z
department:
- _id: '749'
doi: 10.1109/DEVLRN.2009.5175516
keyword:
- robot simulation
- hand movement velocity
- robotic interaction partner
- robotic agent
- robot-directed interaction
- multimodal analysis
- Motionese
- Motherese
- intelligent tutoring systems
- immature cognitive capability
- human computer interaction
- eye gaze
- child-directed speech
- child-directed motion
- bottom-up system
- bottom-up saliency-based attention model
- adult-robot interaction
- adult-child interaction
- adult-adult interaction
- human-robot interaction
- action learning
- social learning scenario
- social robotics
- software agents
- top-down feedback structures
- tutoring behavior
language:
- iso: eng
page: 1-6
publication: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning
publisher: IEEE
status: public
title: People modify their tutoring behavior in robot-directed interaction for action
learning
type: conference
user_id: '14931'
year: '2009'
...
---
_id: '64055'
abstract:
- lang: eng
text: A program for iterative fitting procedures to determine the NMR parameters
from 51V solid-state MAS NMR spectra was developed. It contains options to use
genetic algorithms and downhill-simplex optimizing procedures to extract the optimal
parameter sets, which describe our spectra. As computational kernel the SIMPSON
program is employed. Other kernels like SPINEVOLUTION are easily incorporable.
The algorithms are checked for their suitability for the present optimization
problem and optimal simulation conditions are determined, with the focus on minimal
processing time. The procedure leads to a very good agreement between experimental
and simulated spectra in a passable period of time. First results for spectra
of model compounds for the active site of vanadium haloperoxidases are presented.
author:
- first_name: Maria
full_name: Waechtler, Maria
last_name: Waechtler
- first_name: Annika
full_name: Schweitzer, Annika
last_name: Schweitzer
- first_name: Torsten
full_name: Gutmann, Torsten
id: '118165'
last_name: Gutmann
- first_name: Hergen
full_name: Breitzke, Hergen
last_name: Breitzke
- first_name: Gerd
full_name: Buntkowsky, Gerd
last_name: Buntkowsky
citation:
ama: Waechtler M, Schweitzer A, Gutmann T, Breitzke H, Buntkowsky G. Efficient analysis
of 51V solid-state MAS NMR spectra using genetic algorithms. Solid State Nuclear
Magnetic Resonance. 2009;35(1):37–48. doi:10.1016/j.ssnmr.2008.11.003
apa: Waechtler, M., Schweitzer, A., Gutmann, T., Breitzke, H., & Buntkowsky,
G. (2009). Efficient analysis of 51V solid-state MAS NMR spectra using genetic
algorithms. Solid State Nuclear Magnetic Resonance, 35(1), 37–48.
https://doi.org/10.1016/j.ssnmr.2008.11.003
bibtex: '@article{Waechtler_Schweitzer_Gutmann_Breitzke_Buntkowsky_2009, title={Efficient
analysis of 51V solid-state MAS NMR spectra using genetic algorithms}, volume={35},
DOI={10.1016/j.ssnmr.2008.11.003},
number={1}, journal={Solid State Nuclear Magnetic Resonance}, author={Waechtler,
Maria and Schweitzer, Annika and Gutmann, Torsten and Breitzke, Hergen and Buntkowsky,
Gerd}, year={2009}, pages={37–48} }'
chicago: 'Waechtler, Maria, Annika Schweitzer, Torsten Gutmann, Hergen Breitzke,
and Gerd Buntkowsky. “Efficient Analysis of 51V Solid-State MAS NMR Spectra Using
Genetic Algorithms.” Solid State Nuclear Magnetic Resonance 35, no. 1 (2009):
37–48. https://doi.org/10.1016/j.ssnmr.2008.11.003.'
ieee: 'M. Waechtler, A. Schweitzer, T. Gutmann, H. Breitzke, and G. Buntkowsky,
“Efficient analysis of 51V solid-state MAS NMR spectra using genetic algorithms,”
Solid State Nuclear Magnetic Resonance, vol. 35, no. 1, pp. 37–48, 2009,
doi: 10.1016/j.ssnmr.2008.11.003.'
mla: Waechtler, Maria, et al. “Efficient Analysis of 51V Solid-State MAS NMR Spectra
Using Genetic Algorithms.” Solid State Nuclear Magnetic Resonance, vol.
35, no. 1, 2009, pp. 37–48, doi:10.1016/j.ssnmr.2008.11.003.
short: M. Waechtler, A. Schweitzer, T. Gutmann, H. Breitzke, G. Buntkowsky, Solid
State Nuclear Magnetic Resonance 35 (2009) 37–48.
date_created: 2026-02-07T16:15:57Z
date_updated: 2026-02-17T16:12:50Z
doi: 10.1016/j.ssnmr.2008.11.003
extern: '1'
intvolume: ' 35'
issue: '1'
keyword:
- 51V MAS NMR spectroscopy
- Genetic algorithms
- Iterative fitting procedures
- Model complexes for vanadium haloperoxidases
language:
- iso: eng
page: 37–48
publication: Solid State Nuclear Magnetic Resonance
status: public
title: Efficient analysis of 51V solid-state MAS NMR spectra using genetic algorithms
type: journal_article
user_id: '100715'
volume: 35
year: '2009'
...
---
_id: '63951'
abstract:
- lang: eng
text: The parameters describing the quadrupolar and CSA interactions of 51V solid-state
MAS NMR investigations of model complexes mimicking vanadoenzymes as well as vanadium
containing catalysts and enzyme complexes are interpreted with respect to the
chemical structure. The interpretation is based on the data of 15 vanadium complexes
including two new complexes with previously unpublished data and 13 complexes
with data previously published by us. Correlations between the chemical structure
and the 51V solid-state NMR data of this class of compounds have been established.
Especially for the isotropic chemical shift δ iso and the chemical shift anisotropy
δ σ , correlations with specific structural features like the coordination number
of the vanadium atom, the number of coordinating nitrogens, the number of oxygen
atoms and the chemical surrounding of the complex could be established for these
compounds. Moreover, quantitative correlations between the solid-state NMR parameters
and specific bond angles and bond lengths have been obtained. Our results can
be of particular interest for future investigations concerning the structure and
the mode of action of related vanadoenzymes and vanadate protein assemblies, including
the use of vanadate adducts as transition state analogs for phosphate metabolizing
systems.
author:
- first_name: Annika
full_name: Fenn, Annika
last_name: Fenn
- first_name: Maria
full_name: Wächtler, Maria
last_name: Wächtler
- first_name: Torsten
full_name: Gutmann, Torsten
id: '118165'
last_name: Gutmann
- first_name: Hergen
full_name: Breitzke, Hergen
last_name: Breitzke
- first_name: Axel
full_name: Buchholz, Axel
last_name: Buchholz
- first_name: Ines
full_name: Lippold, Ines
last_name: Lippold
- first_name: Winfried
full_name: Plass, Winfried
last_name: Plass
- first_name: Gerd
full_name: Buntkowsky, Gerd
last_name: Buntkowsky
citation:
ama: Fenn A, Wächtler M, Gutmann T, et al. Correlations between 51V solid-state
NMR parameters and chemical structure of vanadium (V) complexes as models for
related metalloproteins and catalysts. Solid State Nuclear Magnetic Resonance.
2009;36(4):192–201. doi:10.1016/j.ssnmr.2009.11.003
apa: Fenn, A., Wächtler, M., Gutmann, T., Breitzke, H., Buchholz, A., Lippold, I.,
Plass, W., & Buntkowsky, G. (2009). Correlations between 51V solid-state NMR
parameters and chemical structure of vanadium (V) complexes as models for related
metalloproteins and catalysts. Solid State Nuclear Magnetic Resonance,
36(4), 192–201. https://doi.org/10.1016/j.ssnmr.2009.11.003
bibtex: '@article{Fenn_Wächtler_Gutmann_Breitzke_Buchholz_Lippold_Plass_Buntkowsky_2009,
title={Correlations between 51V solid-state NMR parameters and chemical structure
of vanadium (V) complexes as models for related metalloproteins and catalysts},
volume={36}, DOI={10.1016/j.ssnmr.2009.11.003},
number={4}, journal={Solid State Nuclear Magnetic Resonance}, author={Fenn, Annika
and Wächtler, Maria and Gutmann, Torsten and Breitzke, Hergen and Buchholz, Axel
and Lippold, Ines and Plass, Winfried and Buntkowsky, Gerd}, year={2009}, pages={192–201}
}'
chicago: 'Fenn, Annika, Maria Wächtler, Torsten Gutmann, Hergen Breitzke, Axel Buchholz,
Ines Lippold, Winfried Plass, and Gerd Buntkowsky. “Correlations between 51V Solid-State
NMR Parameters and Chemical Structure of Vanadium (V) Complexes as Models for
Related Metalloproteins and Catalysts.” Solid State Nuclear Magnetic Resonance
36, no. 4 (2009): 192–201. https://doi.org/10.1016/j.ssnmr.2009.11.003.'
ieee: 'A. Fenn et al., “Correlations between 51V solid-state NMR parameters
and chemical structure of vanadium (V) complexes as models for related metalloproteins
and catalysts,” Solid State Nuclear Magnetic Resonance, vol. 36, no. 4,
pp. 192–201, 2009, doi: 10.1016/j.ssnmr.2009.11.003.'
mla: Fenn, Annika, et al. “Correlations between 51V Solid-State NMR Parameters and
Chemical Structure of Vanadium (V) Complexes as Models for Related Metalloproteins
and Catalysts.” Solid State Nuclear Magnetic Resonance, vol. 36, no. 4,
2009, pp. 192–201, doi:10.1016/j.ssnmr.2009.11.003.
short: A. Fenn, M. Wächtler, T. Gutmann, H. Breitzke, A. Buchholz, I. Lippold, W.
Plass, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 36 (2009) 192–201.
date_created: 2026-02-07T15:33:58Z
date_updated: 2026-02-17T16:18:21Z
doi: 10.1016/j.ssnmr.2009.11.003
extern: '1'
intvolume: ' 36'
issue: '4'
keyword:
- 51V NMR
- Cis-dioxovanadium (v) complex
- Model system
- Vanadate
language:
- iso: eng
page: 192–201
publication: Solid State Nuclear Magnetic Resonance
status: public
title: Correlations between 51V solid-state NMR parameters and chemical structure
of vanadium (V) complexes as models for related metalloproteins and catalysts
type: journal_article
user_id: '100715'
volume: 36
year: '2009'
...
---
_id: '11820'
abstract:
- lang: eng
text: In this paper, we derive an uncertainty decoding rule for automatic speech
recognition (ASR), which accounts for both corrupted observations and inter-frame
correlation. The conditional independence assumption, prevalent in hidden Markov
model-based ASR, is relaxed to obtain a clean speech posterior that is conditioned
on the complete observed feature vector sequence. This is a more informative posterior
than one conditioned only on the current observation. The novel decoding is used
to obtain a transmission-error robust remote ASR system, where the speech capturing
unit is connected to the decoder via an error-prone communication network. We
show how the clean speech posterior can be computed for communication links being
characterized by either bit errors or packet loss. Recognition results are presented
for both distributed and network speech recognition, where in the latter case
common voice-over-IP codecs are employed.
author:
- first_name: Valentin
full_name: Ion, Valentin
last_name: Ion
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: Ion V, Haeb-Umbach R. A Novel Uncertainty Decoding Rule With Applications to
Transmission Error Robust Speech Recognition. IEEE Transactions on Audio, Speech,
and Language Processing. 2008;16(5):1047-1060. doi:10.1109/TASL.2008.925879
apa: Ion, V., & Haeb-Umbach, R. (2008). A Novel Uncertainty Decoding Rule With
Applications to Transmission Error Robust Speech Recognition. IEEE Transactions
on Audio, Speech, and Language Processing, 16(5), 1047–1060. https://doi.org/10.1109/TASL.2008.925879
bibtex: '@article{Ion_Haeb-Umbach_2008, title={A Novel Uncertainty Decoding Rule
With Applications to Transmission Error Robust Speech Recognition}, volume={16},
DOI={10.1109/TASL.2008.925879},
number={5}, journal={IEEE Transactions on Audio, Speech, and Language Processing},
author={Ion, Valentin and Haeb-Umbach, Reinhold}, year={2008}, pages={1047–1060}
}'
chicago: 'Ion, Valentin, and Reinhold Haeb-Umbach. “A Novel Uncertainty Decoding
Rule With Applications to Transmission Error Robust Speech Recognition.” IEEE
Transactions on Audio, Speech, and Language Processing 16, no. 5 (2008): 1047–60.
https://doi.org/10.1109/TASL.2008.925879.'
ieee: V. Ion and R. Haeb-Umbach, “A Novel Uncertainty Decoding Rule With Applications
to Transmission Error Robust Speech Recognition,” IEEE Transactions on Audio,
Speech, and Language Processing, vol. 16, no. 5, pp. 1047–1060, 2008.
mla: Ion, Valentin, and Reinhold Haeb-Umbach. “A Novel Uncertainty Decoding Rule
With Applications to Transmission Error Robust Speech Recognition.” IEEE Transactions
on Audio, Speech, and Language Processing, vol. 16, no. 5, 2008, pp. 1047–60,
doi:10.1109/TASL.2008.925879.
short: V. Ion, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language
Processing 16 (2008) 1047–1060.
date_created: 2019-07-12T05:28:53Z
date_updated: 2022-01-06T06:51:10Z
department:
- _id: '54'
doi: 10.1109/TASL.2008.925879
intvolume: ' 16'
issue: '5'
keyword:
- automatic speech recognition
- bit errors
- codecs
- communication links
- corrupted observations
- decoding
- distributed speech recognition
- error-prone communication network
- feature vector sequence
- hidden Markov model-based ASR
- hidden Markov models
- inter-frame correlation
- Internet telephony
- network speech recognition
- packet loss
- speech posterior
- speech recognition
- transmission error robust speech recognition
- uncertainty decoding
- voice-over-IP codecs
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2008/IoHa08-1.pdf
oa: '1'
page: 1047-1060
publication: IEEE Transactions on Audio, Speech, and Language Processing
status: public
title: A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust
Speech Recognition
type: journal_article
user_id: '44006'
volume: 16
year: '2008'
...
---
_id: '11939'
abstract:
- lang: eng
text: In this paper a switching linear dynamical model (SLDM) approach for speech
feature enhancement is improved by employing more accurate models for the dynamics
of speech and noise. The model of the clean speech feature trajectory is improved
by augmenting the state vector to capture information derived from the delta features.
Further a hidden noise state variable is introduced to obtain a more elaborated
model for the noise dynamics. Approximate Bayesian inference in the SLDM is carried
out by a bank of extended Kalman filters, whose outputs are combined according
to the a posteriori probability of the individual state models. Experimental results
on the AURORA2 database show improved recognition accuracy.
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. Modeling the dynamics of speech and noise for speech
feature enhancement in ASR. In: IEEE International Conference on Acoustics,
Speech and Signal Processing (ICASSP 2008). ; 2008:4409-4412. doi:10.1109/ICASSP.2008.4518633'
apa: Windmann, S., & Haeb-Umbach, R. (2008). Modeling the dynamics of speech
and noise for speech feature enhancement in ASR. In IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2008) (pp. 4409–4412).
https://doi.org/10.1109/ICASSP.2008.4518633
bibtex: '@inproceedings{Windmann_Haeb-Umbach_2008, title={Modeling the dynamics
of speech and noise for speech feature enhancement in ASR}, DOI={10.1109/ICASSP.2008.4518633},
booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2008)}, author={Windmann, Stefan and Haeb-Umbach, Reinhold}, year={2008},
pages={4409–4412} }'
chicago: Windmann, Stefan, and Reinhold Haeb-Umbach. “Modeling the Dynamics of Speech
and Noise for Speech Feature Enhancement in ASR.” In IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2008), 4409–12, 2008. https://doi.org/10.1109/ICASSP.2008.4518633.
ieee: S. Windmann and R. Haeb-Umbach, “Modeling the dynamics of speech and noise
for speech feature enhancement in ASR,” in IEEE International Conference on
Acoustics, Speech and Signal Processing (ICASSP 2008), 2008, pp. 4409–4412.
mla: Windmann, Stefan, and Reinhold Haeb-Umbach. “Modeling the Dynamics of Speech
and Noise for Speech Feature Enhancement in ASR.” IEEE International Conference
on Acoustics, Speech and Signal Processing (ICASSP 2008), 2008, pp. 4409–12,
doi:10.1109/ICASSP.2008.4518633.
short: 'S. Windmann, R. Haeb-Umbach, in: IEEE International Conference on Acoustics,
Speech and Signal Processing (ICASSP 2008), 2008, pp. 4409–4412.'
date_created: 2019-07-12T05:31:11Z
date_updated: 2022-01-06T06:51:12Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2008.4518633
keyword:
- a posteriori probability
- AURORA2 database
- Bayesian inference
- Bayes methods
- channel bank filters
- extended Kalman filter banks
- hidden noise state variable
- Kalman filters
- noise dynamics
- speech enhancement
- speech feature enhancement
- speech feature trajectory
- switching linear dynamical model approach
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2008/WiHa08-1.pdf
oa: '1'
page: 4409-4412
publication: IEEE International Conference on Acoustics, Speech and Signal Processing
(ICASSP 2008)
status: public
title: Modeling the dynamics of speech and noise for speech feature enhancement in
ASR
type: conference
user_id: '44006'
year: '2008'
...
---
_id: '34563'
abstract:
- lang: eng
text: UML has been widely accepted by the software community for several years.
As electronic systems design can no longer be seen as an isolated hardware design
activity, UML becomes of significant interest as a unification language for systems
description combining both HW and SW components. This article provides a comprehensive
view of the UML applied to System-on-Chip (SoC) and hardware-related embedded
systems design. The modeling concepts in the UML language are first introduced,
including major diagrams for the representation of the behavior and the structure
of systems. The principles behind application specific UML customizations (UML
profiles) are summarized, and several examples relevant for SoC design are given,
such as the SysML (System Modeling Language) and the SoC Profile. Thereafter,
various approaches associating UML with existing HW/SW design languages are presented.
Beyond language aspects, the article addresses the question of UML-based design
flows, and shows how UML can be applied concretely to the development of electronic-based
systems. The current situation about tool support constitutes the last focus of
the article. In particular, we show how UML tools can be combined with well-known
simulation environments, such as MATLAB.
author:
- first_name: Yves
full_name: Vanderperren, Yves
last_name: Vanderperren
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Wim
full_name: Dahaene, Wim
last_name: Dahaene
citation:
ama: Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A
Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292.
doi:10.1007/s10617-008-9028-9
apa: Vanderperren, Y., Müller, W., & Dahaene, W. (2008). UML for Electronic
Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems,
12, 261–292. https://doi.org/10.1007/s10617-008-9028-9
bibtex: '@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems
Design – A Comprehensive Overview}, volume={12}, DOI={10.1007/s10617-008-9028-9},
journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag},
author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008},
pages={261–292} }'
chicago: 'Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic
Systems Design – A Comprehensive Overview.” Design Automation for Embedded
Systems 12 (2008): 261–92. https://doi.org/10.1007/s10617-008-9028-9.'
ieee: 'Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design
– A Comprehensive Overview,” Design Automation for Embedded Systems, vol.
12, pp. 261–292, 2008, doi: 10.1007/s10617-008-9028-9.'
mla: Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive
Overview.” Design Automation for Embedded Systems, vol. 12, Springer-Verlag,
2008, pp. 261–92, doi:10.1007/s10617-008-9028-9.
short: Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems
12 (2008) 261–292.
date_created: 2022-12-19T12:18:21Z
date_updated: 2022-12-19T12:23:56Z
department:
- _id: '672'
doi: 10.1007/s10617-008-9028-9
intvolume: ' 12'
keyword:
- UML SysML Model-based design System specification Modelling languages
language:
- iso: eng
page: 261-292
publication: Design Automation for Embedded Systems
publisher: Springer-Verlag
status: public
title: UML for Electronic Systems Design – A Comprehensive Overview
type: journal_article
user_id: '5786'
volume: 12
year: '2008'
...
---
_id: '34564'
abstract:
- lang: eng
text: To provide user interfaces for a rich set of devices and interaction modalities,
we follow a model-based development methodology. We devised an architecture which
deploys user interfaces specified as dialogue models with abstract interaction
objects and allows context-based adaptations by means of an external transcoding
process. For the validation of the applicability of this methodology for developing
usable multimodal multi-device systems, we present two case studies based on proof-of-concept
implementations and assessed them with a large set of established design principles
and different types of modality cooperation.
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System
against Established Design Principles. Journal on Multimodal User Interfaces.
2008;2(1):25-41. doi:10.1007/s12193-008-0003-3
apa: Schäfer, R., & Müller, W. (2008). Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles. Journal on Multimodal
User Interfaces, 2(1), 25–41. https://doi.org/10.1007/s12193-008-0003-3
bibtex: '@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles}, volume={2}, DOI={10.1007/s12193-008-0003-3},
number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag},
author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }'
chicago: 'Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles.” Journal on Multimodal
User Interfaces 2, no. 1 (2008): 25–41. https://doi.org/10.1007/s12193-008-0003-3.'
ieee: 'R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering
System against Established Design Principles,” Journal on Multimodal User Interfaces,
vol. 2, no. 1, pp. 25–41, 2008, doi: 10.1007/s12193-008-0003-3.'
mla: Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles.” Journal on Multimodal
User Interfaces, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:10.1007/s12193-008-0003-3.
short: R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
date_created: 2022-12-19T12:22:50Z
date_updated: 2022-12-19T12:23:05Z
department:
- _id: '672'
doi: 10.1007/s12193-008-0003-3
intvolume: ' 2'
issue: '1'
keyword:
- Interaction architecture Abstract interaction objects Dialogue model Transformations Multimodality Multi-device Design
principles
language:
- iso: eng
page: 25-41
publication: Journal on Multimodal User Interfaces
publisher: Springer-Verlag
status: public
title: Assessment of a Multimodal Interaction and Rendering System against Established
Design Principles
type: journal_article
user_id: '5786'
volume: 2
year: '2008'
...
---
_id: '64041'
abstract:
- lang: eng
text: Three cis-dioxovanadium(V) complexes with similar N -salicylidenehydrazide
ligands modeling hydrogen bonding interactions of vanadate relevant for vanadium
haloperoxidases are studied by 51V solid-state NMR spectroscopy. Their parameters
describing the quadrupolar and chemical shift anisotropy interactions (quadrupolar
coupling constant C Q , asymmetry of the quadrupolar tensor η Q , isotropic chemical
shift δ iso , chemical shift anisotropy δ σ , asymmetry of the chemical shift
tensor η σ and the Euler angles α , β and γ ) are determined both experimentally
and theoretically using DFT methods. A comparative study of different methods
to determine the NMR parameters by numerical simulation of the spectra is presented.
Detailed theoretical investigations on the DFT level using various basis sets
and structural models show that by useful choice of the methodology, the calculated
parameters agree to the experimental ones in a very good manner.
author:
- first_name: Annika
full_name: Schweitzer, Annika
last_name: Schweitzer
- first_name: Torsten
full_name: Gutmann, Torsten
id: '118165'
last_name: Gutmann
- first_name: Maria
full_name: Wächtler, Maria
last_name: Wächtler
- first_name: Hergen
full_name: Breitzke, Hergen
last_name: Breitzke
- first_name: Axel
full_name: Buchholz, Axel
last_name: Buchholz
- first_name: Winfried
full_name: Plass, Winfried
last_name: Plass
- first_name: Gerd
full_name: Buntkowsky, Gerd
last_name: Buntkowsky
citation:
ama: Schweitzer A, Gutmann T, Wächtler M, et al. 51V solid-state NMR investigations
and DFT studies of model compounds for vanadium haloperoxidases. Solid State
Nuclear Magnetic Resonance. 2008;34(1–2):52–67. doi:10.1016/j.ssnmr.2008.02.003
apa: Schweitzer, A., Gutmann, T., Wächtler, M., Breitzke, H., Buchholz, A., Plass,
W., & Buntkowsky, G. (2008). 51V solid-state NMR investigations and DFT studies
of model compounds for vanadium haloperoxidases. Solid State Nuclear Magnetic
Resonance, 34(1–2), 52–67. https://doi.org/10.1016/j.ssnmr.2008.02.003
bibtex: '@article{Schweitzer_Gutmann_Wächtler_Breitzke_Buchholz_Plass_Buntkowsky_2008,
title={51V solid-state NMR investigations and DFT studies of model compounds for
vanadium haloperoxidases}, volume={34}, DOI={10.1016/j.ssnmr.2008.02.003},
number={1–2}, journal={Solid State Nuclear Magnetic Resonance}, author={Schweitzer,
Annika and Gutmann, Torsten and Wächtler, Maria and Breitzke, Hergen and Buchholz,
Axel and Plass, Winfried and Buntkowsky, Gerd}, year={2008}, pages={52–67} }'
chicago: 'Schweitzer, Annika, Torsten Gutmann, Maria Wächtler, Hergen Breitzke,
Axel Buchholz, Winfried Plass, and Gerd Buntkowsky. “51V Solid-State NMR Investigations
and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” Solid State
Nuclear Magnetic Resonance 34, no. 1–2 (2008): 52–67. https://doi.org/10.1016/j.ssnmr.2008.02.003.'
ieee: 'A. Schweitzer et al., “51V solid-state NMR investigations and DFT
studies of model compounds for vanadium haloperoxidases,” Solid State Nuclear
Magnetic Resonance, vol. 34, no. 1–2, pp. 52–67, 2008, doi: 10.1016/j.ssnmr.2008.02.003.'
mla: Schweitzer, Annika, et al. “51V Solid-State NMR Investigations and DFT Studies
of Model Compounds for Vanadium Haloperoxidases.” Solid State Nuclear Magnetic
Resonance, vol. 34, no. 1–2, 2008, pp. 52–67, doi:10.1016/j.ssnmr.2008.02.003.
short: A. Schweitzer, T. Gutmann, M. Wächtler, H. Breitzke, A. Buchholz, W. Plass,
G. Buntkowsky, Solid State Nuclear Magnetic Resonance 34 (2008) 52–67.
date_created: 2026-02-07T16:10:01Z
date_updated: 2026-02-17T16:13:21Z
doi: 10.1016/j.ssnmr.2008.02.003
extern: '1'
intvolume: ' 34'
issue: 1–2
keyword:
- 51V NMR
- Model system
- Ab initio calculation
- Cis-dioxovanadium(V) complex
- Haloperoxidase
- Numerical optimization
- Quadrupolar interaction
language:
- iso: eng
page: 52–67
publication: Solid State Nuclear Magnetic Resonance
status: public
title: 51V solid-state NMR investigations and DFT studies of model compounds for vanadium
haloperoxidases
type: journal_article
user_id: '100715'
volume: 34
year: '2008'
...
---
_id: '34780'
author:
- first_name: Johannes
full_name: Süßmann, Johannes
id: '16220'
last_name: Süßmann
orcid: 0000-0001-5716-0863
citation:
ama: 'Süßmann J. [Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of
Emperor Charles V [...]. Münster. Aschendorff 2005. sehepunkte. 2007;7(4).'
apa: 'Süßmann, J. (2007). [Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories
of Emperor Charles V [...]. Münster. Aschendorff 2005. In sehepunkte (Vol.
7, Issue 4).'
bibtex: '@article{Süßmann_2007, title={[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.):
The Histories of Emperor Charles V [...]. Münster. Aschendorff 2005}, volume={7},
number={4}, journal={sehepunkte}, author={Süßmann, Johannes}, year={2007} }'
chicago: 'Süßmann, Johannes. “[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The
Histories of Emperor Charles V [...]. Münster. Aschendorff 2005.” sehepunkte,
2007.'
ieee: 'J. Süßmann, “[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories
of Emperor Charles V [...]. Münster. Aschendorff 2005,” sehepunkte, vol.
7, no. 4. 2007.'
mla: 'Süßmann, Johannes. “[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories
of Emperor Charles V [...]. Münster. Aschendorff 2005.” sehepunkte, vol.
7, no. 4, 2007.'
short: J. Süßmann, sehepunkte 7 (2007).
date_created: 2022-12-21T18:02:40Z
date_updated: 2022-12-28T21:31:46Z
department:
- _id: '446'
extern: '1'
intvolume: ' 7'
issue: '4'
keyword:
- Karl V.
- Historiographiegeschichte
- Gedenken
language:
- iso: ger
main_file_link:
- open_access: '1'
url: http://www.sehepunkte.de/2007/04/6260.html
oa: '1'
publication: sehepunkte
publication_status: published
status: public
title: '[Rez. v.] C. Scott Dixon/Martina Fuchs (Hg.): The Histories of Emperor Charles
V [...]. Münster. Aschendorff 2005'
type: review
user_id: '16220'
volume: 7
year: '2007'
...
---
_id: '6070'
abstract:
- lang: eng
text: 'The Fehrer-Raab effect (simple reaction time is unaffected by metacontrast
masking of the test stimulus) seems to imply that a stimulus can trigger a voluntary
reaction without reaching a conscious representation. However, it is also possible
that the mask triggers the reaction, and that the masked test stimulus causes
a focussing of attention from which processing of the mask profits, thus reaching
conscious representation earlier. This is predicted by the Weather Station Model
of visual masking. Three experiments tested this explanation. Experiment 1 showed
that the masked test stimulus caused a temporal shift of the mask. Experiment
2 showed that the reaction in the Fehrer-Raab effect was not exclusively triggered
by a conscious representation of the test stimulus: the mask was involved in evoking
the reaction. Experiment 3 again revealed a temporal shift of the mask. However,
the shift was only about half as large as the Fehrer-Raab effect. The psychometric
functions suggested tha'
author:
- first_name: Odmar
full_name: Neumann, Odmar
last_name: Neumann
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
citation:
ama: Neumann O, Scharlau I. Experiments on the Fehrer-Raab effect and the “Weather
Station Model” of visual backward masking. Psychological Research. 2007;71(6):667-677.
apa: Neumann, O., & Scharlau, I. (2007). Experiments on the Fehrer-Raab effect
and the “Weather Station Model” of visual backward masking. Psychological Research,
71(6), 667–677.
bibtex: '@article{Neumann_Scharlau_2007, title={Experiments on the Fehrer-Raab effect
and the “Weather Station Model” of visual backward masking.}, volume={71}, number={6},
journal={Psychological Research}, author={Neumann, Odmar and Scharlau, Ingrid},
year={2007}, pages={667–677} }'
chicago: 'Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect
and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological
Research 71, no. 6 (2007): 667–77.'
ieee: O. Neumann and I. Scharlau, “Experiments on the Fehrer-Raab effect and the
‘Weather Station Model’ of visual backward masking.,” Psychological Research,
vol. 71, no. 6, pp. 667–677, 2007.
mla: Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect
and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological
Research, vol. 71, no. 6, 2007, pp. 667–77.
short: O. Neumann, I. Scharlau, Psychological Research 71 (2007) 667–677.
date_created: 2018-12-10T07:04:01Z
date_updated: 2022-06-07T00:19:52Z
department:
- _id: '424'
extern: '1'
intvolume: ' 71'
issue: '6'
keyword:
- Fehrer-Raab effect
- Weather Station Model
- visual backward masking
- reaction time
- metacontrast masking
- conscious representation
- Cognition
- Humans
- Perceptual Masking
- Pilot Projects
- Psychology
- Experimental
- Psychometrics
- Reaction Time
- Visual Perception
- Models
- Reaction Time
- Visual Contrast
- Visual Masking
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/NeumannScharlau2006A.pdf
oa: '1'
page: 667 - 677
publication: Psychological Research
publication_identifier:
issn:
- 0340-0727
publication_status: published
status: public
title: Experiments on the Fehrer-Raab effect and the 'Weather Station Model' of visual
backward masking.
type: journal_article
user_id: '42165'
volume: 71
year: '2007'
...
---
_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: '33825'
abstract:
- lang: eng
text: This article describes our approach for the specification and verification
of production automation systems with real-time properties. We focus on the graphical
MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification
of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint
Language (OCL) that is part of the Unified Modeling Language (UML). We introduce
the formal semantics of RT-OCL based on a formal model of UML Class and State
Diagrams and provide a mapping to temporal logics. The applicability of our approach
is demonstrated by the case study of a manufacturing system with automated guided
vehicles.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ulrich
full_name: Pape, Ulrich
last_name: Pape
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of
Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel
J, et al., eds. Integration of Software Specification Techniques for Applications
in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag;
2004:206-226. doi:10.1007/978-3-540-27863-4_13'
apa: Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal
Verification of Temporal Properties of Production Automation Systems. In H. Ehrig,
W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper
(Eds.), Integration of Software Specification Techniques for Applications in
Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
bibtex: '@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture
Notes in Computer Science}, title={Specification and Formal Verification of Temporal
Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13},
booktitle={Integration of Software Specification Techniques for Applications in
Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller,
Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner
and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard
and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification
and Formal Verification of Temporal Properties of Production Automation Systems.”
In Integration of Software Specification Techniques for Applications in Engineering,
edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang
Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes
in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.'
ieee: 'S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification
of Temporal Properties of Production Automation Systems,” in Integration of
Software Specification Techniques for Applications in Engineering, vol. 3147,
H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper,
Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.'
mla: Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties
of Production Automation Systems.” Integration of Software Specification Techniques
for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147,
Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M.
Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software
Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin,
Heidelberg, 2004, pp. 206–226.'
date_created: 2022-10-20T09:25:53Z
date_updated: 2022-10-20T09:26:15Z
department:
- _id: '672'
doi: 10.1007/978-3-540-27863-4_13
editor:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Werner
full_name: Damm, Werner
last_name: Damm
- first_name: Jörg
full_name: Desel, Jörg
last_name: Desel
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
- first_name: Eckehard
full_name: Schnieder, Eckehard
last_name: Schnieder
- first_name: Engelbert
full_name: Westkämper, Engelbert
last_name: Westkämper
intvolume: ' 3147'
keyword:
- Model Check
- Temporal Logic
- Object Constraint Language
- Abstract Syntax
- Temporal Logic Formula
language:
- iso: eng
page: 206-226
place: Berlin, Heidelberg
publication: Integration of Software Specification Techniques for Applications in
Engineering
publication_identifier:
isbn:
- 978-3-540-27863-4
publisher: Springer-Verlag
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Formal Verification of Temporal Properties of Production
Automation Systems
type: book_chapter
user_id: '5786'
volume: 3147
year: '2004'
...
---
_id: '39350'
abstract:
- lang: eng
text: Variation in different mobile devices with different capabilities and interaction
modalities as well as changing user context in nomadic applications, poses huge
challenges to the design of user interfaces. To avoid multiple designs for each
device or modality, it is almost a must to employ a model-based approach. In this
short paper, we present a new dialog model for multimodal interaction together
with an advanced control model, which can either be used for direct modeling by
an interface designer or in conjunction with higher level models.
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Steffen
full_name: Bleul, Steffen
last_name: Bleul
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal
User Interfaces. In: Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer
Science . ; 2004.'
apa: Schäfer, R., Bleul, S., & Müller, W. (2004). A Novel Dialog Model for the
Design of Multimodal User Interfaces. Proceedings of EHCI-DSVIS 2005.
bibtex: '@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg},
series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the
Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005},
author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004},
collection={Lecture Notes in Computer Science } }'
chicago: Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model
for the Design of Multimodal User Interfaces.” In Proceedings of EHCI-DSVIS
2005. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.
ieee: R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design
of Multimodal User Interfaces,” 2004.
mla: Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal
User Interfaces.” Proceedings of EHCI-DSVIS 2005, 2004.
short: 'R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel,
Hamburg, 2004.'
date_created: 2023-01-24T09:26:58Z
date_updated: 2023-01-24T09:27:03Z
department:
- _id: '672'
keyword:
- Multimodal User Interface High Level Model Multimodal User High Level
Approach Dialog Model
language:
- iso: eng
place: Tremsbüttel, Hamburg
publication: Proceedings of EHCI-DSVIS 2005
series_title: 'Lecture Notes in Computer Science '
status: public
title: A Novel Dialog Model for the Design of Multimodal User Interfaces
type: conference
user_id: '5786'
year: '2004'
...