Displaying similar documents to “A solution to the parts explosion problem in (LISPKIT) LISP/SQL language.”

ALMA versus DDD

Daniela da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira (2008)

Computer Science and Information Systems

Similarity:

Deciding inclusion of set constants over infinite non-strict data structures

Manfred Schmidt-Schauss, David Sabel, Marko Schütz (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

Various static analyses of functional programming languages that permit infinite data structures make use of set constants like , , and , denoting all terms, all lists not eventually ending in Nil, and all non-terminating programs, respectively. We use a set language that permits union, constructors and recursive definition of set constants with a greatest fixpoint semantics in the set of all, also infinite, computable trees, where all term constructors are non-strict. ...

Multidimensional term indexing for efficient processing of complex queries

Michal Krátký, Tomáš Skopal, Václav Snášel (2004)

Kybernetika

Similarity:

The area of Information Retrieval deals with problems of storage and retrieval within a huge collection of text documents. In IR models, the semantics of a document is usually characterized using a set of terms. A common need to various IR models is an efficient term retrieval provided via a term index. Existing approaches of term indexing, e. g. the inverted list, support efficiently only simple queries asking for a term occurrence. In practice, we would like to exploit some more sophisticated...

Improving Mathematics Retrieval

Kamali, Shahab, Tompa, Frank Wm.

Similarity:

Despite the popularity of storing mathematical objects on the web, searching for mathematical expressions is extremely limited. Conventional retrieval systems are inadequate for mathematical expressions, because they are not tuned for text with complex structures that include only a few distinct terms. Surprisingly current approaches to the problem of retrieving mathematical information do not include a formal definition of the similarity between two expressions, and thus fail to find...