9359 search results - page 408 / 1872 » Generalization Algorithms for Second-Order Terms |
263
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
There has been much recent work on algorithms for limiting disclosure in data publishing. However, these algorithms have not been put to use in any comprehensive, usable toolkit f...
265
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
As XML-based messages have become common in many client-server protocols, there is a need to protect application servers from invalid or dangerous messages. This leads to the XML ...
280
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Recently, a number of main memory algorithms for detecting the changes to XML data have been proposed. These approaches are not suitable for detecting changes to large XML documen...
178
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
182
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrain...