635 search results - page 121 / 127 » Four states are enough! |
189
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
148
click to vote
TYPES
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
141
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we report results of an extensive evaluation of people's ability to reproduce the strategies they use in simple real-life settings. Having the ability to reliab...
147
click to vote
FAST
2007
15 years 7 months ago
2007
Continuous Data Protection (CDP) is a recent storage technology which enables reverting the state of the storage to previous points in time. We propose four alternative architectu...
166
click to vote
ICMLA
2008
15 years 7 months ago
2008
Accurate lung tumor targeting in real time plays a fundamental role in image-guide radiotherapy of lung cancers. Precise tumor targeting is required for both respiratory gating an...