J Real-Time Image Proc:5–24 DOIs11554SPECIAL ISSUE PAPER Complexity control of HEVC encoders targeting real-time

Source URL: cesweb.itec.kit.edu

CS151 Complexity Theory Lecture 3 April 10, 2017 Padding and succinctness

Source URL: users.cms.caltech.edu

Using intrinsic complexity of turn-taking games to predict participants’ reaction times Jakub Szymanik () Institute for Logic, Language and Computation, University of Amsterdam Ben Meijering (b

Source URL: mindmodeling.org

Parameterized complexity of even/odd subgraph problems

Source URL: www.cse.cuhk.edu.hk

The Complexity of Intersecting Finite Automata Having Few Final States

Source URL: www7.in.tum.de

Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence (Extended Abstract) ∗ Jérôme Lang LAMSADE, CNRS, Université Paris-Dauphine, France

Source URL: www.lamsade.dauphine.fr

Combined Tractability of Query Evaluation via Tree Automata and Cycluits Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart Problem Evaluate Datalog queries tractably in parameterized combined complexity

Source URL: mikael-monet.net

Conjunctive Queries on Probabilistic Graphs: Combined Complexity Antoine Amarilli1 , Mikaël Monet1,2 , Pierre Senellart2,3 May 16th, 2017

Source URL: mikael-monet.net

2011 18th IEEE International Conference on Image Processing REDUCED-COMPLEXITY ENTROPY CODING OF TRANSFORM COEFFICIENT LEVELS USING TRUNCATED GOLOMB-RICE CODES IN VIDEO COMPRESSION Tung Nguyen1, Detlev Marpe1, Heiko Sch

Source URL: iphome.hhi.de

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Source URL: chargueraud.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Data types
• Type theory
• Logic in computer science
• Automated theorem proving
• OCaml
• Coq
• Disjoint-set data structure
• Proof assistant