Sciweavers

8676 search results - page 480 / 1736
» Reconciling Feature Modeling: A Feature Modeling Metamodel
Sort
View
218
Voted
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...
INTERSPEECH
2010
15 years 1 months ago
Towards affective state modeling in narrative and conversational settings
We carry out two studies on affective state modeling for communication settings that involve unilateral intent on the part of one participant (the evoker) to shift the affective s...
Bart Jochems, Martha Larson, Roeland Ordelman, Ron...
198
Voted
ICASSP
2011
IEEE
14 years 10 months ago
A multi-stream ASR framework for BLSTM modeling of conversational speech
We propose a novel multi-stream framework for continuous conversational speech recognition which employs bidirectional Long Short-Term Memory (BLSTM) networks for phoneme predicti...
Martin Wöllmer, Florian Eyben, Björn Sch...
ICASSP
2011
IEEE
14 years 10 months ago
An utterance comparison model for speaker clustering using factor analysis
We propose a novel utterance comparison model based on probability theory and factor analysis that computes the likelihood of two speech utterances originating from the same speak...
Woojay Jeon, Changxue Ma, Dusan Macho
186
Voted
AAAI
2012
13 years 9 months ago
Improving Twitter Retrieval by Exploiting Structural Information
Most Twitter search systems generally treat a tweet as a plain text when modeling relevance. However, a series of conventions allows users to tweet in structural ways using combin...
Zhunchen Luo, Miles Osborne, Sasa Petrovic, Ting W...