Sciweavers

1336 search results - page 97 / 268
» An approach to stopping problems of a dynamic fuzzy system
Sort
View
ATAL
2005
Springer
15 years 7 months ago
An adaptive solution to dynamic transport optimization
This paper describes LS/ATN, Living Systems R Adaptive Transportation Networks, an agent-based solution we have developed to solve transportation problems in the charter business ...
Klaus Dorer, Monique Calisti
113
Voted
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 7 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICMCS
2006
IEEE
180views Multimedia» more  ICMCS 2006»
15 years 7 months ago
Automatic Speaker Segmentation using Multiple Features and Distance Measures: A Comparison of Three Approaches
This paper addresses the problem of unsupervised speaker change detection. Three systems based on the Bayesian Information Criterion (BIC) are tested. The first system investigat...
Margarita Kotti, Luis P. M. Martins, Emmanouil Ben...
AAAI
1990
15 years 2 months ago
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Danilo Fum, Paolo Giangrandi, Carlo Tasso
COORDINATION
2008
Springer
15 years 3 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...