Search results
From MaRDI portal
- Paper On subsumption and semiunification in feature algebras 1992-09-27 Paper The logic of unification in grammar 1990-01-01 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 10:43, 24 September 2023
- data envelopment analysis based approach for fixed cost allocation 2019-03-06 Paper Allocating the fixed cost: an approach based on data envelopment analysis...10 bytes (12 words) - 20:06, 24 September 2023
- prescribed topological substructures based on integer programming 2020-09-28 Paper Optimal string clustering based on a Laplace-like mixture and EM algorithm...10 bytes (13 words) - 08:43, 7 October 2023
- optimal path planning problems based on parametrization method and fuzzy aggregation 2012-03-05 Paper Passification-based robust flight control design 2012-03-05...10 bytes (13 words) - 07:10, 7 October 2023
- Kolmogorov-Smirnov statistics in permutation-based pairwise comparisons 2002-07-29 Paper GA-based learning for a model-based object recognition system 2002-07-29...10 bytes (12 words) - 15:16, 24 September 2023
- perturbed BVPs with turning points 1993-05-16 Paper FSMT: A feature solid-modelling tool for feature-based design and manufacture 1993-05-16 Paper Diagonalization...10 bytes (12 words) - 09:20, 24 September 2023
- viscoelastic-plasticity based on multiplicative decompositions. I: Continuum formulations 2002-05-15 Paper An adaptive procedure based on background cells...10 bytes (12 words) - 12:11, 24 September 2023
- in finite elements based on shear deformable plate theory 2000-09-05 Paper Formulation of thermo-mechanical frictional contact based on complementarity...10 bytes (12 words) - 10:19, 24 September 2023
- demand and supply-side mechanisms 2000-08-30 Paper Fuzzy rule based classification with FeatureSelector and modified threshold accepting 2000-08-30 Paper Production...10 bytes (12 words) - 12:53, 24 September 2023
- logic-based languages A complete and recursive feature theory Uses Software ALE Recommendations Feature-constraint logics for unification grammars 👍 👎...15 bytes (359 words) - 02:16, 6 February 2024
- The Logic of Typed Feature Structures 👍 👎 On the semantics of unification grammars 👍 👎 Highly constrained unification grammars 👍 👎 Fibred semantics...15 bytes (331 words) - 00:17, 30 January 2024
- Logic Anti-unification Algorithms and Their Applications in Program Analysis E-generalization using grammars Unification, weak unification, upper bound...15 bytes (556 words) - 22:17, 2 February 2024
- induction of feature terms Anti-unification Algorithms and Their Applications in Program Analysis E-generalization using grammars Unification, weak unification...15 bytes (357 words) - 16:57, 2 February 2024
- available (Why is that?) The Logic of Typed Feature Structures Feature-constraint logics for unification grammars Records for logic programming An algebraic...15 bytes (503 words) - 09:21, 30 January 2024
- of a Categorial Grammar With an Associated Category System Feature-constraint logics for unification grammars Definite clause grammars for language analysis...15 bytes (286 words) - 14:53, 1 February 2024
- metaprogramming in logic grammars Parsing and generation with static discontinuity grammars Grammatical unification Towards a programming language based on the notion...15 bytes (411 words) - 04:04, 31 January 2024
- 👎 Order-sorted feature theory unification 👍 👎 Unification in sort theories and its applications 👍 👎 An ordering linear unification algorithm 👍 👎...15 bytes (285 words) - 11:37, 8 February 2024
- Bottom-up and top-down tree transformations— a comparison Feature automata and recognizable sets of feature trees XML navigation and transformation by tree-walking...15 bytes (1,056 words) - 05:03, 3 February 2024
- CD-ROM. A structural approach to operational semantics Unification theory An Efficient Unification Algorithm CafeOBJ Report. The language, proof techniques...15 bytes (434 words) - 09:35, 8 February 2024
- Classification ID Grammars and rewriting systems (68Q42) Cited In (32) Building Theorem Provers Simple and Efficient Clause Subsumption with Feature Vector Indexing...15 bytes (277 words) - 14:23, 3 February 2024
