2989 search results - page 404 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
133
Voted
SSDBM
2011
IEEE
14 years 6 months ago
2011
IEEE
The problem of privacy-preserving record linkage is to find the intersection of records from two parties, while not revealing any private records to each other. Recently, group li...
132
Voted
EVOW
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we introduce an hybrid evolutionary algorithm for computer-aided orchestration. Our current approach to orchestration consists in replicating a target sound with a se...
138
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
118
Voted
DLOG
2004
15 years 3 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
133
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Knowledge discovery on social network data can uncover latent social trends and produce valuable findings that benefit the welfare of the general public. A growing amount of resea...