1756 search results - page 347 / 352 » Mapping Small Worlds |
MLQ
2007
13 years 8 months ago
2007
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...
PUC
2008
13 years 8 months ago
2008
Mobile sensing and mapping applications are becoming more prevalent because sensing hardware is becoming more portable and more affordable. However, most of the hardware uses small...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...
EUROMED
2010
13 years 7 months ago
2010
The island of Nelson is situated around 7-8 miles far from the Egyptian Mediterranean coast, and about 25 km far from Alexandria of Egypt. It has small size, since it doesn't ...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— While the most accurate solution to off-line structure from motion (SFM) problems is undoubtedly to extract as much correspondence information as possible and perform g...