Pages that link to "Item:Q182337"
From MaRDI portal
The following pages link to Journal of Computer Science and Technology (Q182337):
Displaying 50 items.
- The polynomially exponential time restrained analytical hierarchy (Q1337640) (← links)
- Classification of the index sets of low \([n]^ p\) and high \([n]^ p\) (Q1337641) (← links)
- Some results on the confluence property of combined term rewriting systems (Q1337642) (← links)
- An algorithm for determining database consistency under the closed world assumption (Q1337643) (← links)
- Formalizing incomplete knowledge in incomplete databases (Q1337644) (← links)
- Net operations (Q1337645) (← links)
- Identification of nonstationary cellular automata (Q1337646) (← links)
- A new local control spline with shape parameters for CAD/CAM (Q1338023) (← links)
- Bounded recursively enumerable sets and degrees (Q1338024) (← links)
- A VLSI algorithm for calculating the tree to tree distance (Q1338026) (← links)
- Representing quadric surfaces using NURBS surfaces (Q1362140) (← links)
- Three-dimensional volume datafield reconstruction from physical model (Q1362141) (← links)
- A higher-order unification algorithm for inductive types and dependent types (Q1362142) (← links)
- A logical design method for relational databases based on generalization and aggregation semantics (Q1362143) (← links)
- MNP: A class of NP optimization problems (Q1368182) (← links)
- Asynchronous superimposition mechanisms of concurrent competitive waves for hyper-distributed hyper-parallel heuristic problem solving (Q1368183) (← links)
- A reasoning mechanism for deductive object-oriented databases (Q1368186) (← links)
- Magic sets revisited (Q1368187) (← links)
- Constructive sets in computable sets (Q1372877) (← links)
- A partial evaluator for a parallel lambda language (Q1372879) (← links)
- NUAPC: A parallelizing compiler for C++ (Q1372881) (← links)
- Counting and topological order (Q1375328) (← links)
- On the expressive power of F-logic language (Q1375331) (← links)
- Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing (Q1375332) (← links)
- The expansion postponement in pure type systems (Q1375333) (← links)
- An interactive learning algorithm for acquisition of concepts represented as CFL (Q1383465) (← links)
- Intuitionistic logic as the implement of incremental model construction for natural language (Q1383466) (← links)
- Reduction of cycle unification of type \(Cpg+r\) (Q1383467) (← links)
- Completeness of the accumulation calculus (Q1383468) (← links)
- A type of triangular ball surface and its properties (Q1383469) (← links)
- A formal approach to protocol interoperability testing (Q1383470) (← links)
- The least fixpoint transformation for disjunctive logic programs (Q1389092) (← links)
- Symmetric \(\pi\)-calculus (Q1389093) (← links)
- Intuitive minimal abduction in sequent calculi (Q1389097) (← links)
- A surface rendering approach in 3D rectilinear datafield (Q1389099) (← links)
- A knowledge representation model for video-based animation (Q1389100) (← links)
- \(C^2\)- (\(C^3\)-)continuous interpolation spline curve and surface (Q1389102) (← links)
- Deformable registration of digital images (Q1389105) (← links)
- A traffic partition algorithm for switched LANs and its performance analysis (Q1389106) (← links)
- An efficient multiple predicate learner (Q1389107) (← links)
- Extract rules by using rough set and knowledge-based NN (Q1389109) (← links)
- Acoustic simulation with dynamic mechanisms in virtual reality (Q1389110) (← links)
- A simple fault-tolerant adaptive and minimal routing approach in 3-D meshes (Q1399086) (← links)
- A fast block-matching algorithm using smooth motion vector field adaptive search technique (Q1399090) (← links)
- Image-based synthesis of Chinese landscape painting (Q1399094) (← links)
- Automatic target detection by optimal morphological filters (Q1400028) (← links)
- 3DIVE: An immersive environment for interactive volume data exploration (Q1400031) (← links)
- Accelerated backward warping (Q1400035) (← links)
- Fuzzy functional dependencies and Bayesian networks (Q1400037) (← links)
- Clustering in very large databases based on distance and density (Q1400041) (← links)
