313 search results - page 18 / 63 » Redundancy Elimination for LF |
WWW
2002
ACM
15 years 10 months ago
2002
ACM
Aliasing occurs in Web transactions when requests containing different URLs elicit replies containing identical data payloads. Conventional caches associate stored data with URLs ...
79
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In most 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 equ...
72
Voted
CADE
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
ICDM
2006
IEEE
15 years 3 months ago
2006
IEEE
In frequent geographic pattern mining a large amount of patterns is well known a priori. This paper presents a novel approach for mining frequent geographic patterns without assoc...
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...