8719 search results - page 383 / 1744 » A Categorical Approach to Simulations |
138
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Radio signal-based localization and mapping is becoming more interesting as applications involving the collaboration between robots and static wireless devices are more common....
190
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
230
click to vote
HIS
2009
15 years 4 months ago
2009
Scheduling is a key problem in distributed heterogeneous computing systems in order to benefit from the large computing capacity of such systems and is an NP-complete problem. In ...
166
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
A new approach of reliable image and video transmission over noisy channel is proposed. The proposed subband modulation scheme combines source coding and channel modulation scheme...
158
click to vote
ICIP
1995
IEEE
16 years 8 months ago
1995
IEEE
The feedback loop for temporal prediction of traditional implementations of an MPEG-compliant video coder requires conversion of images from the spatial domain to the transform do...