Sciweavers

1438 search results - page 83 / 288
» An Expressive Extension of TLC
Sort
View
PERCOM
2009
ACM
16 years 1 months ago
RationalExposure: a Game Theoretic Approach to Optimize Identity Exposure in Pervasive Computing Environments
In pervasive computing environments, personal information is expressed in digital forms to a great extent. Daily activities and personal preferences may be easily associated with p...
Feng Zhu, Wei Zhu
PODS
2001
ACM
145views Database» more  PODS 2001»
16 years 26 days ago
Optimization of Sequence Queries in Database Systems
The need to search for complex and recurring patterns in database sequences is shared by many applications. In this paper, we discuss how to express and support efficiently sophis...
Reza Sadri, Carlo Zaniolo, Amir M. Zarkesh, Jafar ...
EDBT
2006
ACM
137views Database» more  EDBT 2006»
16 years 26 days ago
Data Mapping as Search
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
George H. L. Fletcher, Catharine M. Wyss
FQAS
2009
Springer
202views Database» more  FQAS 2009»
15 years 7 months ago
Controlled Aggregate Tree Shaped Questions over Ontologies
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
Camilo Thorne, Diego Calvanese
TARK
2007
Springer
15 years 6 months ago
Alternating-time temporal logic with explicit strategies
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
Dirk Walther, Wiebe van der Hoek, Michael Wooldrid...