Sciweavers

592 search results - page 32 / 119
» Refining Goal Models by Evaluating System Behaviour
Sort
View
143
Voted
FUIN
2008
123views more  FUIN 2008»
15 years 3 months ago
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavad...
111
Voted
RAS
2006
108views more  RAS 2006»
15 years 3 months ago
A computational model of intention reading in imitation
Imitation in artificial systems involves a number of important aspects, such as extracting the relevant features of the demonstrated behaviour, inverse mapping observations, and e...
Bart Jansen, Tony Belpaeme
126
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
135
Voted
ENTCS
2008
106views more  ENTCS 2008»
15 years 3 months ago
Modelling Adaptive Systems in ForSyDe
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
Ingo Sander, Axel Jantsch
132
Voted
ICASSP
2011
IEEE
14 years 7 months ago
The MIT LL 2010 speaker recognition evaluation system: Scalable language-independent speaker recognition
Research in the speaker recognition community has continued to address methods of mitigating variational nuisances. Telephone and auxiliary-microphone recorded speech emphasize th...
Douglas E. Sturim, William M. Campbell, Najim Deha...