1729 search results - page 256 / 346 » Generic Haskell: Applications |
WWW
2007
ACM
14 years 10 months ago
2007
ACM
The unification of Semantic Web query languages under the SPARQL standard and the development of commercial-quality implementations are encouraging industries to use semantic tech...
CCS
2009
ACM
14 years 10 months ago
2009
ACM
There is a natural intuitive match between anonymity and information theory. In particular, the maximal anonymity loss in anonymity protocols can be matched to the information the...
KDD
2003
ACM
14 years 10 months ago
2003
ACM
In most computer systems, page fault rate is currently minimized by generic page replacement algorithms which try to model the temporal locality inherent in programs. In this pape...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
A number of experimental studies based on domain-specific tasks have evaluated the efficiency of navigation techniques for searching multi-scale worlds. The discrepancies among th...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...