Sciweavers

2623 search results - page 279 / 525
» tools 2010
Sort
View
SBMF
2010
Springer
164views Formal Methods» more  SBMF 2010»
15 years 3 days ago
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Io...
SIGSOFT
2010
ACM
15 years 3 days ago
RT-simex: retro-analysis of execution traces
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
Julien DeAntoni, Frédéric Mallet, Fr...
SWARM
2010
SPRINGER
178views Optimization» more  SWARM 2010»
15 years 2 days ago
On artificial immune systems and swarm intelligence
Abstract This position paper explores the nature and role of two bio-inspired paradigms, namely Artificial Immune Systems (AIS) and Swarm Intelligence (SI). We argue that there are...
Jon Timmis, Paul S. Andrews, Emma Hart
TMM
2010
155views Management» more  TMM 2010»
15 years 2 days ago
Estimating Cohesion in Small Groups Using Audio-Visual Nonverbal Behavior
Abstract--Cohesiveness in teams is an essential part of ensuring the smooth running of task-oriented groups. Research in social psychology and management has shown that good cohesi...
Hayley Hung, Daniel Gatica-Perez
TNN
2010
216views Management» more  TNN 2010»
15 years 2 days ago
Simplifying mixture models through function approximation
Finite mixture model is a powerful tool in many statistical learning problems. In this paper, we propose a general, structure-preserving approach to reduce its model complexity, w...
Kai Zhang, James T. Kwok