3575 search results - page 210 / 715 » Presentations of computably enumerable reals |
148
click to vote
ISPAN
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract—In real networks, disjoint paths are needed for providing protection against single link/node failure. When disjoint paths cannot be found, an alternative solution is to...
168
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Mobile robot localization from large-scale appearance mosaics has been showing increasing promise as a low-cost, high-performance and infrastructure-free solution to vehicle guida...
162
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a novel calibration method for datagloves with many degrees of freedom 1 . The goal of our method is to establish a mapping from the sensor values of the glove...
156
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
A virtual machine is a software replica of an underlying real machine. Multiple virtual machines can operate on the same host machine concurrently, without interfere each other. S...
146
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...