Sciweavers

1655 search results - page 233 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
TSP
2010
15 years 26 days ago
A multi-resolution hidden Markov model using class-specific features
We address the problem in signal classification applications, such as automatic speech recognition (ASR) systems that employ the hidden Markov model (HMM), that it is necessary to...
Paul M. Baggenstoss
ACII
2007
Springer
16 years 11 days ago
Model of Facial Expressions Management for an Embodied Conversational Agent
Abstract. In this paper we present a model of facial behaviour encompassing interpersonal relations for an Embodied Conversational Agent (ECA). Although previous solutions of this ...
Radoslaw Niewiadomski, Catherine Pelachaud
BIBM
2009
IEEE
183views Bioinformatics» more  BIBM 2009»
15 years 11 months ago
Modeling Protein Interaction Networks with Answer Set Programming
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
Timur Fayruzov, Martine De Cock, Chris Cornelis, D...
ICCAD
2006
IEEE
138views Hardware» more  ICCAD 2006»
16 years 3 months ago
Analytical modeling of SRAM dynamic stability
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
Bin Zhang, Ari Arapostathis, Sani R. Nassif, Micha...
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 4 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...