The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Extending Temporal Logic Programming with Choice Predicates Non-determinism (Q4323007) (← links)
- On the hardness of approximating minimization problems (Q4323730) (← links)
- Bounds on approximate steepest descent for likelihood maximization in exponential families (Q4324185) (← links)
- How Do Read-Once Formulae Shrink? (Q4325332) (← links)
- On the Stability of the Bareiss and Related Toeplitz Factorization Algorithms (Q4325677) (← links)
- A Modified Prony Algorithm for Exponential Function Fitting (Q4325705) (← links)
- Nested Iterations for Symmetric Eigenproblems (Q4325709) (← links)
- Robust algorithms for packet routing in a mesh (Q4327376) (← links)
- Analyses of unsatisfiability for equational logic programming (Q4327430) (← links)
- Average-case analysis of algorithms for matchings and related problems (Q4327634) (← links)
- Two-Dimensional and Three-Dimensional Point Location in Rectangular Subdivisions (Q4327822) (← links)
- Computational verb systems: The paradox of the liar (Q4328849) (← links)
- A comparison of active set method and genetic algorithm approaches for learning weighting vectors in some aggregation operators (Q4328850) (← links)
- Validating the AMULET Microprocessors (Q4328964) (← links)
- A Modal Logic for Full LOTOS based on Symbolic Transition Systems (Q4328968) (← links)
- Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems (Q4329522) (← links)
- Mental States Recognition from Communication (Q4329523) (← links)
- Slow Feature Analysis: Unsupervised Learning of Invariances (Q4330665) (← links)
- Information Loss in an Optimal Maximum Likelihood Decoding (Q4330666) (← links)
- The Reliability of the Stochastic Active Rotator (Q4330667) (← links)
- Achieving a cooperative behavior in a dual‐arm robot system via a modular control structure (Q4331392) (← links)
- Analysis, comparison and design of role-based security specifications (Q4332013) (← links)
- FsmTest: Functional test generation for sequential circuits (Q4332021) (← links)
- On Linear Equations in Natural Numbers (Q4335564) (← links)
- An $\NC$ Algorithm for Minimum Cuts (Q4337444) (← links)
- Ambivalent Data Structures for Dynamic 2-Edge-Connectivity and k Smallest Spanning Trees (Q4337633) (← links)
- Random Debaters and the Hardness of Approximating Stochastic Functions (Q4337648) (← links)
- Limiting Exit Location Distributions in the Stochastic Exit Problem (Q4337657) (← links)
- Caluculating Current Densities and Fields Produced by Shielded Magnetic Resonance Imaging Probes (Q4337670) (← links)
- Self-Scaled Barriers and Interior-Point Methods for Convex Programming (Q4339371) (← links)
- Solving a Polynomial Equation: Some History and Recent Progress (Q4340817) (← links)
- Classroom Note: The Lagrange--Charpit Method (Q4340819) (← links)
- On the Optimality of the Median Cut Spectral Bisection Graph Partitioning Method (Q4340830) (← links)
- Comparison of Some Suboptimal Control Policies in Medical Drug Therapy (Q4345589) (← links)
- ON FACTORING JEVONS' NUMBER (Q4351525) (← links)
- Ground Nonmonotonic Modal Logics (Q4351800) (← links)
- A simple declarative language for describing narratives with actions (Q4352533) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- Adaptive de-noising of signals satisfying differential inequalities (Q4361450) (← links)
- The knowledge complexity of interactive proof-systems (Q4365519) (← links)
- On the Diameter of the Pancake Network (Q4366875) (← links)
- A Column Generation Approach for Graph Coloring (Q4367049) (← links)
- Short Shop Schedules (Q4367253) (← links)
- The complexity of logic-based abduction (Q4369855) (← links)
- On the <i>k</i> -server conjecture (Q4369887) (← links)
- Algorithm 715: SPECFUN–a portable FORTRAN package of special function routines and test drivers (Q4371527) (← links)
- Algorithm 720: An algorithm for adaptive cubature over a collection of 3-dimensional simplices (Q4371548) (← links)
- Applying series expansion to the inverse beta distribution to find percentiles of the <i>F</i> -distribution (Q4371551) (← links)
- Algorithm 728: FORTRAN subroutines for generating quadratic bilevel programming test problems (Q4371570) (← links)
- GFUN (Q4371576) (← links)
