„Time Complexity“

Suchergebnisse

1.161 Treffer

• Models of discrete-time stochastic processes and associated complexity measures
  Löhr, Wolfgang
• MD-TPE: multidimensional thumbnail-preserving encryption based on rank-then-encipher with constant time complexity
  Zhang, Shengcai ; Chen, Haitao ; An, Dezhi
• From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Algorithms and Architectures for Parallel Processing – 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
  2012 Springer Berlin Heidelberg
• Algorithms and Architectures for Parallel Processing – 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
  Xiang, Yang ; Stojmenović, Ivan ; Apduhan, Bernady O. ; Wang, Guojun ; Nakano, Kōji ; Zomaya, Albert Y. 2012 Springer Berlin Heidelberg
• Formal Modeling and Analysis of Timed Systems – 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
  Jurdziński, Marcin ; Nickovic, Dejan 2012 Springer Berlin Heidelberg
• Reachability Problems – 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
  Delzanno, Giorgio ; Potapov, Igor 2011 Springer Berlin Heidelberg
• Parameterized and Exact Computation – 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings
  Bloch, Isabelle ; Cesar, Jr., Roberto M. 2010 Springer Berlin Heidelberg
• Parameterized and Exact Computation – First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings
  Raman, Venkatesh ; Saurabh, Saket 2004 Springer Berlin Heidelberg
• Constrained Outer-String Representations
  Biedl, Therese ; Cornelsen, Sabine ; Kratochvíl, Jan ; Rutter, Ignaz 2024 KOPS Universität Konstanz
• Finite Model Theory and Proof Complexity Revisited – Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
  Pago, Benedikt 2023 Universitätsbibliothek der RWTH Aachen
• Cinderella - Adaptive Online Partitioning of Irregularly Structured Data
  Herrmann, Kai ; Voigt, Hannes ; Lehner, Wolfgang 2021 Technische Universität Dresden
• The class of timed automata with quasi-equal clocks
  Herrera, Christian ; Podelski, Andreas 2018 Universität
• Analyzing the cumulative residual extropy of system inactivity times and revealing system complexity
  Pakdaman, Zohreh ; Alizadeh Noughabi, Reza
• Highly Accurate Random Phase Approximation Methods With Linear Time Complexity
  Schurkus, Henry F. ; Ochsenfeld, Christian 2017 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Model complexity selection in high-dimensional time-to-event data analysis – = Modelkomplexitätswahl in der Ereigniszeitanalyse hochdimensionaler Daten
  Porzelius, Christine ; Schumacher, Martin 2011 Universität
• Investigation into Air Traffic Complexity as a Driver of a Controller‘s Workload
  Djokic, Jelena ; Fricke, Hartmut ; Urbas, Leon 2016 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A Hierarchical Flow Solver for Optimisation with PDE Constraints
  Köster, Michael ; Turek, Stefan ; Meyer, Christian 2011 Universitätsbibliothek Dortmund