4205 search results - page 55 / 841 » Typed Mobile Objects |
123
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
116
click to vote
CCIA
2008
Springer
15 years 3 months ago
2008
Springer
Object recognition has been widely researched for several decades and in the recent years new methods capable of general object classification have appeared. However very few work ...
123
click to vote
HUC
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we propose a novel wearable interface called “ActiveBelt” that enables users to obtain multiple directional information with the tactile sense. Since the informat...
AINA
2005
IEEE
15 years 7 months ago
2005
IEEE
XML data can be stored in different types of databases including Object-Relational Databases (ORDB). Using ORDB, we get the benefit of relational maturity and the richness of obje...
105
click to vote
GIS
2009
ACM
15 years 6 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...