Sciweavers

1107 search results - page 14 / 222
» Variability Management on Behavioral Models
Sort
View
ICASSP
2011
IEEE
12 years 10 months ago
An investigation of subspace modeling for phonetic and speaker variability in automatic speech recognition
This paper investigates the impact of subspace based techniques for acoustic modeling in automatic speech recognition (ASR). There are many well known approaches to subspace based...
Richard C. Rose, Shou-Chun Yin, Yun Tang
ENTCS
2010
107views more  ENTCS 2010»
13 years 6 months ago
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott,...
GI
2009
Springer
13 years 4 months ago
A Knowledge-Based System for the Specification of Variables in Clinical Trials
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
Matthias Löbe, Barbara Strotmann, Kai-Uwe Hoo...
EGITALY
2006
13 years 8 months ago
An Architecture for Distributed Behavioral Models with GPUs
We describe an architecture for massive simulation of a distributed behavioral model using graphics hardware. By leveraging on the recent programmable capabilities of GPUs we impl...
Rosario De Chiara, Ugo Erra, Vittorio Scarano
IAW
2003
IEEE
14 years 10 hour ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia