2138 search results - page 279 / 428 » Logical Step-Indexed Logical Relations |
147
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
163
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
170
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
This paper investigates the role of existing "probabilistic" schemes to reason about various everyday situations on the basis of data from multiple heterogeneous physical...
154
click to vote
DEXAW
2008
IEEE
16 years 29 days ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
181
click to vote
KES
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This work presents a clustering method which can be applied to relational knowledge bases. Namely, it can be used to discover interesting groupings of semantically annota...