1523 search results - page 163 / 305 » Partially ordered secretaries |
155
click to vote
DAGM
2005
Springer
15 years 11 months ago
2005
Springer
Obstacle avoidance is one of the most important challenges for mobile robots as well as future vision based driver assistance systems. This task requires a precise extraction of de...
147
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
153
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
153
click to vote
SAMOS
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a new tool for the automatic generation of highly parallelized Finite Impulse Response (FIR) filters. In this approach we follow our PARO design methodology. P...
139
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...