Sciweavers

406 search results - page 63 / 82
» Privacy-Preserving Set Union
Sort
View
TAPSOFT
1991
Springer
13 years 11 months ago
Comparative Semantics for a Real-Time Programming Language with Integration
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
Franck van Breugel
AAAI
2007
13 years 10 months ago
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
ICDT
2010
ACM
194views Database» more  ICDT 2010»
13 years 9 months ago
Bag Equivalence of XPath Queries
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
Sara Cohen, Yaacov Y. Weiss
IPCO
2010
231views Optimization» more  IPCO 2010»
13 years 9 months ago
Branched Polyhedral Systems
We introduce the framework of polyhedral branching systems that can be used in order to construct extended formulations for polyhedra by combining extended formulations for other p...
Volker Kaibel, Andreas Loos
LREC
2010
138views Education» more  LREC 2010»
13 years 9 months ago
Human Language Technology and Communicative Disabilities: Requirements and Possibilities for the Future
For some years now, the Nederlandse Taalunie (Dutch Language Union) has been active in promoting the development of human language technology (HLT) applications for users of Dutch...
Marina B. Ruiter, Toni C. M. Rietveld, Catia Cucch...