Sciweavers

1249 search results - page 114 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
UML
2005
Springer
15 years 12 months ago
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
Michelle L. Crane, Jürgen Dingel
ICASSP
2010
IEEE
15 years 6 months ago
Using online model comparison in the Variational Bayes framework for online unsupervised Voice Activity Detection
This paper presents the use of online Variational Bayes method for online Voice Activity Detection (VAD) in an unsupervised context. In conventional VAD, the final step often rel...
David Cournapeau, Shinji Watanabe, Atsushi Nakamur...
IRI
2008
IEEE
16 years 23 days ago
Modeling and synthesis of service composition using tree automata
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
Ken Q. Pu, Ying Zhu
SIPS
2008
IEEE
16 years 23 days ago
Scheduling of dataflow models within the Reconfigurable Video Coding framework
The upcoming Reconfigurable Video Coding (RVC) standard from MPEG (ISO/IEC SC29WG11) defines a library of coding tools to specify existing or new compressed video formats and deco...
Jani Boutellier, Veeranjaneyulu Sadhanala, Christo...
ISCIS
2009
Springer
16 years 28 days ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...