1802 search results - page 163 / 361 » Model-based Theory Combination |
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
SCALESPACE
2005
Springer
14 years 3 months ago
2005
Springer
We investigate the use of fractional powers of the Laplacian for signal and image simplification. We focus both on their corresponding variational techniques and parabolic pseudod...
MM
2004
ACM
14 years 3 months ago
2004
ACM
Combining retrieval results from multiple modalities plays a crucial role for video retrieval systems, especially for automatic video retrieval systems without any user feedback a...
IFM
2004
Springer
14 years 3 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
We introduce the Ranked Feature Fusion framework for information retrieval system design. Typical information retrieval formalisms such as the vector space model, the bestmatch mo...