11740 search results - page 423 / 2348 » More Problems in Rewriting |
194
click to vote
LPAR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-founde...
188
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
198
click to vote
GD
1997
Springer
15 years 11 months ago
1997
Springer
Although routing is a well-studied problem in various contexts, there remain unsolved problems in routing edges for graph layouts. In contrast with techniques from other domains su...
159
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Approximation has been shown to be an eective method for reducing the time and space costs of solving various oorplan area minimization problems. In this paper, we present several...
169
click to vote
ICTAI
1994
IEEE
15 years 11 months ago
1994
IEEE
Large-scale lexical knowledge acquisition is one of the most time critical steps in developing a knowledge-based machine translation system. In particular, developing the syntacti...