Sciweavers

3564 search results - page 414 / 713
» Evaluating a Formal Modelling Language
Sort
View
ATAL
2006
Springer
15 years 6 months ago
On proactivity and maintenance goals
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
Simon Duff, James Harland, John Thangarajah
UML
2005
Springer
15 years 9 months ago
Replicators: Transformations to Address Model Scalability
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
Jeffrey G. Gray, Yuehua Lin, Jing Zhang, Steven No...
ICASSP
2011
IEEE
14 years 7 months ago
Discriminatively estimated discrete, parametric and smoothed-discrete duration models for speech recognition
Duration of phonemic segments provide important cues for distinguishing words in languages such as Arabic. Recently, we proposed a discriminatively estimated joint acoustic, durat...
Maider Lehr, Izhak Shafran
COORDINATION
2009
Springer
16 years 4 months ago
Mobility Models and Behavioural Equivalence for Wireless Networks
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
Jens Chr. Godskesen, Sebastian Nanz
DAC
2011
ACM
14 years 3 months ago
Modeling adaptive streaming applications with parameterized polyhedral process networks
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
Jiali Teddy Zhai, Hristo Nikolov, Todor Stefanov