scientific article
From MaRDI portal
Publication:3996990
zbMath0697.68008MaRDI QIDQ3996990
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of software (68N99)
Related Items
Covariate Information Number for Feature Screening in Ultrahigh-Dimensional Supervised Problems, Solving partial differential equations using recursive grids, The representation of permutations by trees, Efficient massively parallel implementation of some combinatorial algorithms, Best-first minimax search, Efficient high-level parallel programming, On tuning a mean-field model for semi-supervised classification, Formal validation of data-parallel programs: a two-component assertional proof system for a simple language, Accurate bounds for critical temperatures of \(\text{O}(N)\) spin models by renormalized random walk representations., HALO --- a fuzzy programming language, Axiomatic semantics for escape statements, Toppling and height probabilities in sandpiles, A greedy algorithm for nonlinear inverse problems with an application to nonlinear inverse gravimetry, Priority Queues and Sorting for Read-Only Data, Integer priority queues with decrease key in constant time and the single source shortest paths problem, Unnamed Item, Producing the left parse during bottom-up parsing, DyC: An expressive annotation-directed dynamic compiler for C, Program algebra with unit instruction operators, Advances in design and implementation of optimization software, Optimal buffer inventories for multistage production systems with failures
