„recursive procedures“

Suchergebnisse

17 Treffer

• Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms
  Sofronie-Stokkermans, Viorica
• Weighted Dynamic Pushdown Networks
  Wenner, Alexander 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Derivation of recursive stability-test procedures
  Lepschy, A. ; Viaro, U.
• Rate of Convergence in Recursive Parameter Estimation Procedures
  Sharia, Teo
• Pseudo-recursive procedures
  Armbruster, D. ; Oechsle, R.
• Stable recursive procedures for numerical computations in markov models
  Stidham, S.
• A programming technique for recursive procedures
  Cornelius, B. J. ; Kirby, G. H.
• Safety and progress of recursive procedures
  Hesselink, Wim H.
• Proof rules for recursive procedures
  Hesselink, Wim H.
• A Rapid Introduction to Adaptive Filtering
  Rey Vega, Leonardo ; Rey, Hernan 2013 Springer Berlin Heidelberg
• Worst-case space and time complexity of recursive procedures
  Blieberger, Johann ; Lieger, Roland
• Automatic Parallelization of Recursive Procedures
  Gupta, Manish ; Mukhopadhyay, Sayak ; Sinha, Navin
• On a class of recursive procedures and equivalent iterative ones
  Hikita, Teruo
• Ways of Synthesizing Binary Programs Admitting Recursive Call of Procedures
  Zhukov, V. V.
• A rapid introduction to adaptive filtering
  Rey Vega, Leonardo ; Rey, Hernan 2013 Springer
• Recursive procedures for multiple decisions: finite time memory and stepwise maximum likelihood procedure
  Rukhin, A. L. ; Shi, J.
• A new Hoare-calculus for programs with recursive parameterless procedures
  Sieber, Kurt 2011 Saarländische Universitäts- und Landesbibliothek