Sciweavers

371 search results - page 51 / 75
» A New Method for Interoperability Test Generation
Sort
View
ICSE
2008
IEEE-ACM
16 years 2 months ago
Juzi: a tool for repairing complex data structures
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
Bassem Elkarablieh, Sarfraz Khurshid
ICNP
2006
IEEE
15 years 8 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
122
Voted
ENC
2005
IEEE
15 years 7 months ago
Saving Evaluations in Differential Evolution for Constrained Optimization
Generally, evolutionary algorithms require a large number of evaluations of the objective function in order to obtain a good solution. This paper presents a simple approach to sav...
Efrén Mezura-Montes, Carlos A. Coello Coell...
MCS
2005
Springer
15 years 7 months ago
Mixture of Gaussian Processes for Combining Multiple Modalities
This paper describes a unified approach, based on Gaussian Processes, for achieving sensor fusion under the problematic conditions of missing channels and noisy labels. Under the ...
Ashish Kapoor, Hyungil Ahn, Rosalind W. Picard
CORR
2008
Springer
135views Education» more  CORR 2008»
15 years 1 months ago
Probabilistic SVM/GMM Classifier for Speaker-Independent Vowel Recognition in Continues Speech
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
Mohammad Nazari, Abolghasem Sayadiyan, Seyyed Maji...