Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

On the structure of context-sensitive grammars: Label: en
On the problems of time retrieval of temporal relations causality, and coexistence: Label: en
ECG waveform feature extraction and its application to automated prognosis: Label: en
Structuring and retrieving information in computer-based learning: Label: en
Bitmaps and filters for attribute-oriented searches: Label: en
Partial sorting: A large vector technique and its application: Label: en
Modeling of storage properties of higher-level languages: Label: en
An implicit enumeration program for zero-one integer programming: Label: en
A grammatical inference for harmonic linear languages: Label: en
Time series model for texture synthesis: Label: en
Some restrictions onW-grammars: Label: en
Application of fuzzy logic to the detection of static hazards in combinational switching systems: Label: en
Algorithms for list structure condensation: Label: en
Syntax extension using a run time model: Label: en
An evaluation ofalgol 68 for interrogation process algorithms: Label: en
Representations of the language recognition problem for a theorem prover: Label: en
On the semigroups of linear sequential machines: Label: en
A full table quadratic search method eliminating secondary clustering: Label: en
MRPPS?An interactive refutation proof procedure system for question-answering: Label: en
The choice of partial inversions and combined indices: Label: en
Conversion and parsing of tree transducers for syntactic pattern analysis: Label: en
An efficient algorithm for finding kleene closure of regular expression matrices: Label: en
An efficient external sorting with minimal space requirement: Label: en
Methodical specification of abstract data types via rewriting systems: Label: en
Notes on ?A CUCH-machine: The automatic treatment of bound variables?: Label: en
A CUCH-machine: The automatic treatment of bound variables: Label: en
Heuristically aided set-covering algorithms: Label: en
A nucleus of a theorem-prover described inAlgol-68: Label: en
A simulation tool for performance evaluation of the IBM 360/75: Label: en
A model for optimizing indexed file structures: Label: en
Using euler partitions to edge color bipartite multigraphs: Label: en
String and graph grammar characterizations of bounded regular languages: Label: en
Depth-m search in branch-and-bound algorithms: Label: en
Theoretical comparisons of search strategies in branch-and-bound algorithms: Label: en
Analysis of some abstract measures of protection in computer systems: Label: en
An operation-control scheme for authorization in computer systems: Label: en
Compacting homogeneous text for minimizing storage space: Label: en
Information system design for real-time multiprocessing systems: Label: en
Detection of parallelism between statements by decomposing into separate sequential processes: Label: en
Multivariate point process models for response times in multiprogrammed systems: Label: en
Characterizing sets of data structures by the connectivity relation: Label: en
Binary input, output, and manipulation extensions of conversational programming with some biological applications: Label: en
Execution traces and programming-language semantics: Label: en
An application of coroutines and backtracking in interactive systems: Label: en
Exploratory experiments in programmer behavior: Label: en
Programming recursively defined functions infortran: Label: en
Automatic insertion of indexing instructions in program synthesis: Label: en
Time required for garbage collection in retention block-structured languages: Label: en
On the time required for reference count management in retention block-structured languages. Part 2: Label: en
Time required for reference count management in retention block-structured languages. Part 1: Label: en