„parameterized“

Suchergebnisse

1.641 Treffer

• Mechanical Verification of Parameterized Real-Time Systems – A Formal Framework and its Application to a Real-Time Operating System Scheduler
  Göthel, Thomas 2012 Südwestdeutscher Verlag für Hochschulschriften
• Parameterized Algorithms for Non-separating Trees and Branchings in Digraphs
  Bang-Jensen, Jørgen ; Saurabh, Saket ; Simonsen, Sven
• Parameterized and exact computation – 7th international symposium ; proceedings
  Thilikos, Dimitrios M. ; Woeginger, Gerhard J. 2012 Springer
• Parameterized verification
  Abdulla, Parosh A. ; Delzanno, Giorgio
• Incremental Learning of Skills in a Task-Parameterized Gaussian Mixture Model
  Hoyos, Jose ; Prieto, Flavio ; Alenyà, Guillem ; Torras, Carme
• How the world computes – Turing centenary conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18 - 23, 2012 ; proceedings
  Cooper, Stuart B. ; Dawar, Anuj ; Löwe, Benedikt 2012 Springer
• Integration of AI and OR techniques in constraint programming for combinatorial optimization problems – 9th international conference ; proceedings
  Beldiceanu, Nicolas ; Jussien, Narendra ; Pinson, Eric 2012 Springer
• Robust range-parameterized cubature Kalman filter for bearings-only tracking
  Wu, Hao ; Chen, Shu-xin ; Yang, Bin-feng ; Luo, Xi
• Kernelization and randomized Parameterized algorithms for Co-path Set problem
  Feng, Qilong ; Zhou, Qian ; Wang, Jianxin
• Parameterized algorithmics for network analysis – clustering & querying
  Komusiewicz, Christian 2011 Univ.-Verl. der TU
• Graph-theoretic concepts in computer science – 37th international workshop ; revised papers
  Kolman, Petr ; Kratochvíl, Jan 2011 Springer
• A Parameterized Study of Maximum Generalized Pattern Matching Problems
  Ordyniak, Sebastian ; Popa, Alexandru
• Concise adaptive fuzzy control of nonlinearly parameterized and periodically time-varying systems via small gain theory
  Zhang, Guoqing ; Zhang, Xianku
• Solving Linear Equations Parameterized by Hamming Weight
  Arvind, V. ; Köbler, Johannes ; Kuhnert, Sebastian ; Torán, Jacobo
• Graph Isomorphism Parameterized by Elimination Distance to Bounded Degree
  Bulian, Jannis ; Dawar, Anuj
• The Parameterized Complexity of Geometric Graph Isomorphism
  Arvind, V. ; Rattan, Gaurav
• Modified parameterized inexact Uzawa method for singular saddle-point problems
  Dou, Yan ; Yang, Ai-Li ; Wu, Yu-Jiang
• Variants of the accelerated parameterized inexact Uzawa method for saddle-point problems
  Liang, Zhao-Zheng ; Zhang, Guo-Feng
• Parameterized Complexity
  Downey, R. G. ; Fellows, Michael R. 1999 Springer New York
• Algorithms – 19th annual European symposium ; proceedings
  Demetrescu, Camil ; Halldórsson, Magnús M. 2011 Springer