4211 search results - page 760 / 843 » Types as Abstract Interpretations |
164
Voted
ANTSW
2010
Springer
15 years 1 months ago
2010
Springer
robotics, the agents are often assumed to be identical. In this abstract, we argue that the cooperation between swarms of different kinds of robots can enhance the capabilities of ...
147
Voted
DATESO
2010
15 years 1 months ago
2010
Abstract. The task of similarity search in multimedia databases is usually accomplished by range or k nearest neighbor queries. However, the expressing power of these "single-...
134
Voted
GCB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract: Investigations into the origins and evolution of regulatory mechanisms require quantitative estimates of the abundance and co-occurrence of functional protein domains amo...
143
Voted
GI
2010
Springer
15 years 1 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
137
Voted
ICDE
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Classification hierarchies are trees where links codify the fact that a node lower in the hierarchy contains documents whose contents are more specific than those one le...