400 search results - page 10 / 80 » Moving Proofs-As-Programs into Practice |
DSP
2007
13 years 7 months ago
2007
This paper presents a preliminary knowledge based approach to Space-Time Adaptive Processing (STAP) for ground moving target indication from an airborne platform. The KB-processor...
ESA
1998
Springer
13 years 11 months ago
1998
Springer
Previous literature on the Traveling Salesman Problem (TSP) assumed that the sites to be visited are stationary. Motivated by practical applications, we introduce a time-dependent ...
JVCA
2008
13 years 7 months ago
2008
Developing suitable interpolation methods to simulate dynamic motions of continuous materials such as fluids is an important problem. In this paper, we propose a novel method to e...
DSVIS
1995
Springer
13 years 11 months ago
1995
Springer
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper we present a strategy that allows a swarm of autonomous tugboats to cooperatively move a large object on the water. The two main challenges are: (1) the actuators...