Sciweavers

752 search results - page 75 / 151
» Finite-State Modeling, Analysis and Testing of System Vulner...
Sort
View
123
Voted
ICMCS
2005
IEEE
116views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Multimodal Emotion Recognition and Expressivity Analysis
The paper presents the framework of a special session that aims at investigating the best possible techniques for multimodal emotion recognition and expressivity analysis in human...
Stefanos D. Kollias, Kostas Karpouzis
145
Voted
BMCBI
2007
203views more  BMCBI 2007»
15 years 3 months ago
A Grid-based solution for management and analysis of microarrays in distributed experiments
Several systems have been presented in the last years in order to manage the complexity of large microarray experiments. Although good results have been achieved, most systems ten...
Ivan Porro, Livia Torterolo, Luca Corradi, Marco F...
121
Voted
FORTE
1997
15 years 4 months ago
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
Marek Musial
137
Voted
ICML
2010
IEEE
15 years 4 months ago
Learning Temporal Causal Graphs for Relational Time-Series Analysis
Learning temporal causal graph structures from multivariate time-series data reveals important dependency relationships between current observations and histories, and provides a ...
Yan Liu 0002, Alexandru Niculescu-Mizil, Aurelie C...
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 9 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...