3984 search results - page 595 / 797 » A Model-Driven Transformation Method |
139
click to vote
ISM
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a multimodal speaker segmentation algorithm with two main contributions: First, we suggest a hidden Markov model architecture that performs fusion of the three modaliti...
138
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order ...
162
click to vote
CRV
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a performance evaluation framework for visual feature extraction and matching in the visual simultaneous localization and mapping (SLAM) context. Although feature extra...
140
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 11 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
138
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Recently, there arise a large number of graphs with massive sizes and complex structures in many new applications, such as biological networks, social networks, and the Web, deman...