Sciweavers

1268 search results - page 131 / 254
» Direct Translation Model 2
Sort
View
3DPVT
2006
IEEE
171views Visualization» more  3DPVT 2006»
14 years 2 months ago
Image Based Localization in Urban Environments
In this paper we present a prototype system for image based localization in urban environments. Given a database of views of city street scenes tagged by GPS locations, the system...
Wei Zhang, Jana Kosecka
APLAS
2006
ACM
14 years 2 months ago
A Pushdown Machine for Recursive XML Processing
XML transformations are most naturally defined as recursive functions on trees. Their direct implementation, however, causes inefficient memory usage because the input XML tree is...
Keisuke Nakano, Shin-Cheng Mu
FOSSACS
2005
Springer
14 years 1 months ago
Composition and Decomposition in True-Concurrency
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
Sibylle B. Fröschle
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
14 years 1 months ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...
SSDBM
2002
IEEE
109views Database» more  SSDBM 2002»
14 years 1 months ago
Query Processing with Description Logic Ontologies Over Object-Wrapped Databases
This paper presents an approach to answering queries over an ontology modelled using a description logic. The ontology acts as a global schema, providing a declarative description...
Martin Peim, Enrico Franconi, Norman W. Paton, Car...