8828 search results - page 1166 / 1766 » Formal methods in practice |
212
click to vote
WPES
2003
ACM
16 years 20 days ago
2003
ACM
Secure Multi-Party Computation enables parties with private data to collaboratively compute a global function of their private data, without revealing that data. The increase in s...
238
click to vote
ASP
2003
Springer
16 years 20 days ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
216
Voted
CAEPIA
2003
Springer
16 years 20 days ago
2003
Springer
One of the most important tasks for determining association rules consists of calculating all the maximal frequent itemsets. Specifically, some methods to obtain these itemsets hav...
143
click to vote
ERSHOV
2003
Springer
16 years 19 days ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
154
Voted
GECCO
2003
Springer
16 years 19 days ago
2003
Springer
The emergence of multimedia data in databases requires adequate methods for information retrieval. In a music data retrieval system by humming, the first stage is to extract exact...