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 #151 to #200.

An execution model for exploiting AND-parallelism in logic programs: Label: en
Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs: Label: en
Making exhaustive search programs deterministic: Label: en
Set abstraction - an extension of all solutions predicate in logic programming language: Label: en
A fast algorithm for translating combinator expressions with BC-chains: Label: en
Multi-layer logic - a predicate logic including data structure as knowledge representation language: Label: en
AID: an alternative implementation of DCGs: Label: en
Inserting injection operations to denotational specifications: Label: en
A list processing language TAO with multiple programming paradigms: Label: en
Adapting combinator and SECD machines to display snapshots of functional computations: Label: en
Formal theories of knowledge in AI and robotics: Label: en
Bounded-wait merge in Shapiro's concurrent Prolog: Label: en
Low cost environment changing in a shallow binding system: Label: en
BUP: A bottom-up parser embedded in Prolog: Label: en
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog: Label: en
Description and reasoning of VLSI circuit in temporal logic: Label: en
Foundation of logic programming based on inductive definition: Label: en
MOLOG: A system that extends PROLOG with modal logic: Label: en
A view of programming languages as symbiosis of meaning and computations: Label: en
Computation of full logic programs using one-variable environments: Label: en
Specification and initialization of a logic computer system: Label: en
A VLSI algorithm for sorting variable-length character strings: Label: en
Dataflow computing and Eager and Lazy evaluations: Label: en
AND parallelism and nondeterminism in logic programs: Label: en
Data abstraction in Prolog/KR: Label: en
Modularization and abstraction in logic programming: Label: en
The occur-check problem in Prolog: Label: en
The BC-chain method for representing combinators in linear space: Label: en
Maximal unifiable subsets and minimal non-unifiable subsets: Label: en
On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine: Label: en
Michigan particle swarm optimization for prototype reduction in classification problems: Label: en
Selection and setting of an intelligent fuzzy regulator based on nonlinear model simulations of a helicopter in hover: Label: en
Analysis of the univariate microaggregation disclosure risk: Label: en
Modeling and processing information for context-aware computing: A survey: Label: en
Factorizing RSA keys, an improved analogue solution: Label: en
Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscil\-lators: Label: en
RNA oscillator: limit cycle oscillations based on artificial biomolecular reactions: Label: en
A defect localization scheme for cellular nanocomputers: Label: en
Special issue: Selected papers presented at the 2nd international workshop on natural computing (IWNC2), Nagoya, Japan, December 10--13, 2007.: Label: en
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses: Label: en
Moving people segmentation from zoomed dynamic scenes containing a door: Label: en
A comparison study of Bayesian classifiers on web pages classification: Label: en
User-centered design practice for grid-enabled simulation in e-science: Label: en
Cloud computing: a perspective study: Label: en
Multi-path based algorithms for data transfer in the grid environment: Label: en
Cluster based routing scheme for distributed regression in wireless sensor networks: Gaussian eliminations: Label: en
Building web knowledge flows based on interactive computing with semantics: Label: en
Mining sequential patterns across time sequences: Label: en
Detection of breaking news from online web search queries: Label: en
SVM-based interactive document retrieval with active learning: Label: en