939 search results - page 163 / 188 » Semantic Abstraction and Quantum Computation |
MMM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Recent advancements in 3D scanning technologies have inspired the development of effective methods for matching and retrieving 3D objects. A common pre-processing stage ...
FCT
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
IWSOS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. With the emergence of mobile and ubiquitous computing environments, there is a requirement to enable collaborative applications between these environments. As many of the...
MOBIDE
2006
ACM
14 years 3 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...