Sciweavers

2317 search results - page 250 / 464
» Model based testing for agent systems
Sort
View
141
Voted
IPPS
1998
IEEE
15 years 7 months ago
Prioritized Token-Based Mutual Exclusion for Distributed Systems
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
Frank Mueller
106
Voted
ATAL
2004
Springer
15 years 8 months ago
Preference Elicitation without Numbers
The development of autonomous multi-agent systems acting upon the interests of one or more users involves the elicitation of preferences of these users. In decision theory, models...
P. H. M. P. Roelofsma, Martijn C. Schut
142
Voted
TCBB
2008
137views more  TCBB 2008»
15 years 3 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
97
Voted
LREC
2010
178views Education» more  LREC 2010»
15 years 4 months ago
Building a System for Emotions Detection from Speech to Control an Affective Avatar
In this paper we describe a corpus set together from two sub-corpora. The CINEMO corpus contains acted emotional expression obtained by playing dubbing exercises. This new protoco...
Mátyás Brendel, Riccardo Zaccarelli,...
RECOMB
2005
Springer
16 years 3 months ago
Comparative Systems Biology of the Sporulation Initiation Network in Prokaryotes
Many years of experimental and computational molecular biology of model organisms such as Escherichia coli and Saccharomyces cerevisiae has elucidated the gene regulatory network i...
Michiel J. L. de Hoon, Dennis Vitkup