Sciweavers

2317 search results - page 250 / 464
» Model based testing for agent systems
Sort
View
IPPS
1998
IEEE
15 years 11 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
ATAL
2004
Springer
16 years 18 days 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
TCBB
2008
137views more  TCBB 2008»
15 years 7 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...
LREC
2010
178views Education» more  LREC 2010»
15 years 8 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 7 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