Sciweavers

12052 search results - page 669 / 2411
» computing 2010
Sort
View
INFORMATIKTAGE
2010
15 years 5 months ago
Context- and Domain-Aware Semantic Web Services
: This research proposal introduces an approach for Semantic Web Services that includes context information when querying a service. Thereby, a mapping between context information ...
Sascha Roth, Bernhard Humm, Michael Rebstock
LOGCOM
2010
85views more  LOGCOM 2010»
15 years 5 months ago
The Logic of Quasi-MV Algebras
The algebraic theory of quasi-MV algebras, generalisations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define sever...
Félix Bou, Francesco Paoli, Antonio Ledda, ...
MST
2010
105views more  MST 2010»
15 years 5 months ago
On the Automatizability of Polynomial Calculus
Abstract We prove that Polynomial Calculus and Polynomial Calculus with Resolution are not automatizable, unless W[P]-hard problems are fixed parameter tractable by one-side error...
Nicola Galesi, Massimo Lauria
PAMI
2010
222views more  PAMI 2010»
15 years 5 months ago
Fast Algorithm for Walsh Hadamard Transform on Sliding Windows
— This paper proposes a fast algorithm for Walsh Hadamard Transform on sliding windows which can be used to implement pattern matching most efficiently. The computational require...
Wanli Ouyang, Wai-kuen Cham
PSD
2010
Springer
189views Database» more  PSD 2010»
15 years 5 months ago
Privacy-Preserving Record Linkage
Record linkage has a long tradition in both the statistical and the computer science literature. We survey current approaches to the record linkage problem in a privacy-aware setti...
Rob Hall, Stephen E. Fienberg