5639 search results - page 927 / 1128 » Timed Abstract Non-interference |
124
click to vote
CLEF
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we present a multiple targets classification system for visual concepts detection and image annotation. Multiple targets classification (MTC) is a variant ...
100
click to vote
CLEF
2010
Springer
15 years 4 months ago
2010
Springer
In the context of the CLEF-IP 2010 classification task, we conducted a series of experiments with the Linguistic Classification System (LCS). We compared ment representations for p...
115
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...
128
click to vote
DAGSTUHL
2010
15 years 4 months ago
2010
Abstract. We present an interactive, real-time mapping system for digital elevation maps (DEMs), which allows Earth scientists to map and therefore understand the deformation of th...
149
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...