562 search results - page 35 / 113 » Dependency Pairs Revisited |
110
Voted
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
108
Voted
DEXA
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper we study the performance of linguisticallymotivated conflation techniques for Information Retrieval in Spanish. In particular, we have studied the applicat...
210
click to vote
ICDE
1998
IEEE
16 years 3 months ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...
SIAMCO
2010
15 years 6 days ago
2010
We consider control systems of the type ˙x = Ax+α(t)bu, where u ∈ R, (A, b) is a controllable pair and α is an unknown time-varying signal with values in [0, 1] satisfying a ...
113
click to vote
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
Allowing loads to issue out-of-order with respect to earlier unresolved store addresses is very important for extracting parallelism in large-window superscalar processors. Blindl...