3984 search results - page 273 / 797 » A Model-Driven Transformation Method |
117
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a novel approach for multimodal information fusion. The proposed method is based on kernel cross-modal factor analysis (KCFA), in which the optimal transformat...
513
Voted
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
A novel approach for event summarization and rare event detection is proposed. Unlike conventional methods that deal with event summarization and rare event detection independently...
167
Voted
IJCAI
2001
15 years 6 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
134
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
135
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...