498 search results - page 85 / 100 » Term Rewriting |
69
Voted
CADE
2003
Springer
15 years 10 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
157
Voted
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we consider the problem of keyword query cleaning for structured databases from a probabilistic approach. Keyword query cleaning consists of rewriting the user quer...
EICS
2009
ACM
15 years 4 months ago
2009
ACM
Single-user, desktop-based computer applications are pervasive in our daily lives and work. The prospect of using these applications with innovative interaction systems, like mult...
FMCO
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
In nature, systems with enormous numbers of components (i.e. cells) are evolved from a relatively small genotype. It has not yet been demonstrated that artificial evolution is su...