Sciweavers

8933 search results - page 182 / 1787
» Usability over time
Sort
View
TWC
2008
150views more  TWC 2008»
15 years 6 months ago
Combining Beamforming and Space-Time Coding Using Quantized Feedback
We combine space-time coding and transmit beamforming over multiple-antenna quasi-static fading channels using resolution-constrained channel state information at the transmitter ...
Siavash Ekbatani, Hamid Jafarkhani
MST
2011
205views Hardware» more  MST 2011»
15 years 1 months ago
Sublinear Time Algorithms for Earth Mover's Distance
We study the problem of estimating the Earth Mover’s Distance (EMD) between probability distributions when given access only to samples of the distributions. We give closeness t...
Khanh Do Ba, Huy L. Nguyen, Huy N. Nguyen, Ronitt ...
RSP
2003
IEEE
15 years 11 months ago
Verification of Timing Properties in Rapid System Prototyping
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
Doron Drusinsky, Man-tak Shing
IROS
2009
IEEE
160views Robotics» more  IROS 2009»
16 years 1 months ago
A minimum jerk predictor for teleoperation with variable time delay
— In this paper we describe a method for bridging internet time delays in a teleoperation scenario. In the scenario, the sizes of the time delays is not only stochastic, but it i...
Claes Christian Smith, Henrik I. Christensen
CAV
2003
Springer
145views Hardware» more  CAV 2003»
15 years 11 months ago
Monitoring Temporal Rules Combined with Time Series
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
Doron Drusinsky