Sciweavers

172 search results - page 10 / 35
» Validating SDL Specifications: an Experiment
Sort
View
FMICS
2008
Springer
13 years 9 months ago
Using CSP||B Components: Application to a Platoon of Vehicles
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
ISNN
2010
Springer
14 years 13 days ago
Applications of Second Order Blind Identification to High-Density EEG-Based Brain Imaging: A Review
In the context of relating specific brain functions to specific brain structures, second-order blind identification (SOBI) is one of the blind source separation algorithms that hav...
Akaysha Tang
INTERSPEECH
2010
13 years 2 months ago
Domain adaptation and compensation for emotion detection
Inspired by the recent improvements in domain adaptation and session variability compensation techniques used for speech and speaker processing, we study their effect for emotion ...
Michelle Hewlett Sanchez, Gökhan Tür, Lu...
IOR
2006
173views more  IOR 2006»
13 years 7 months ago
A Branch-and-Cut Algorithm for the Dial-a-Ride Problem
In the dial-a-ride problem, users formulate requests for transportation from a specific origin to a specific destination. Transportation is carried out by vehicles providing a sha...
Jean-François Cordeau
JTAER
2010
124views more  JTAER 2010»
13 years 2 months ago
What factors influence online brand trust: evidence from online tickets buyers in Malaysia
This study examines online brand trust and its influencing factors in the specific context of online air ticket buyers in Malaysia. Summarizing academic literature on online brand...
Syed Shah Alam, Norjaya Mohd Yasin