2586 search results - page 417 / 518 » Automatic Abstraction for Congruences |
CLEF
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The Robust-WSD at CLEF 2009 aims at exploring the contribution of Word Sense Disambiguation to monolingual and multilingual Information Retrieval. The organizers of the t...
116
click to vote
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
123
click to vote
EPEW
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...