400 search results - page 20 / 80 » Moving Proofs-As-Programs into Practice |
IJCIS
1998
13 years 7 months ago
1998
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...
SIAMAM
2002
13 years 7 months ago
2002
Many practically relevant polymers undergoing desorption change from the rubbery (saturated) to the glassy (nearly dry) state. The dynamics of such systems cannot be described by t...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
-- Simulations show that the Doppler component of the IEEE 802.11n channel model results in a dramatic decrease in transmit beamforming gain within only 20 ms delay, even though th...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Although kernel-based methods have been demonstrated effectively in solving single-target tracking problem, facing more complicated multi-target tracking task, most of them still ...
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
We present a method for estimating the relative pose of two calibrated or uncalibrated non-overlapping surveillance cameras from observing a moving object. We show how to tackle t...