Sciweavers

2661 search results - page 351 / 533
» A Semantics for Abstraction
Sort
View
EPIA
2007
Springer
16 years 24 days ago
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
Gregory R. Wheeler
ERCIMDL
2007
Springer
137views Education» more  ERCIMDL 2007»
16 years 24 days ago
Ontology-Based Question Answering for Digital Libraries
Abstract. In this paper we present an approach to question answering over heterogeneous knowledge sources that makes use of different ontology management components within the sce...
Stephan Bloehdorn, Philipp Cimiano, Alistair Duke,...
ESORICS
2007
Springer
16 years 24 days ago
Security of Multithreaded Programs by Compilation
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andre...
ICDT
2007
ACM
90views Database» more  ICDT 2007»
16 years 23 days ago
On the Expressiveness of Implicit Provenance in Query and Update Languages
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
Peter Buneman, James Cheney, Stijn Vansummeren
ICDT
2007
ACM
126views Database» more  ICDT 2007»
16 years 23 days ago
Containment of Conjunctive Queries over Databases with Null Values
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...
Carles Farré, Werner Nutt, Ernest Teniente,...