601 search results - page 76 / 121 » Simulation vs. Equivalence |
MLQ
1998
13 years 8 months ago
1998
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, for Church integers, the “call by value” in a context of a “call by name” strategy. In this pre...
MTA
2002
13 years 8 months ago
2002
Robotic tape libraries are popular for applications with very high storage requirements, such as video servers. Here, we study the throughput of a tape library system, we design a...
ICA
2010
Springer
13 years 7 months ago
2010
Springer
We propose combining supervised and unsupervised algorithms in order to improve the performance of multiple-input multipleoutputdigitalcommunication systemswhich makeuseofdecision-...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— This paper formulates and investigates a novel problem called Mutual Localization with Anonymous Position Measures. This is an extension of Mutual Localization with Position Me...
ICRA
2010
IEEE
13 years 7 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....