by
Zhu, Daming. editor.
Format:
Electronic Resources
Excerpt:
programming -- Local search -- Integer programming.-Semidefinite programming -- Parameterized algorithm.-Fixed
by
Uustalu, Tarmo. editor.
Format:
Electronic Resources
Excerpt:
-- Generic Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic
View Other Search Results
by
Crescenzi, Pierluigi. editor.
Format:
Electronic Resources
Excerpt:
Encounters with a Black Hole or Explorations and Gatherings in Dangerous Graphs -- Fun with Sub-linear Time
by
Cappello, Franck. editor.
Format:
Electronic Resources
Excerpt:
-- Multithreaded Tomographic Reconstruction -- Parallelizing Dense Linear Algebra Operations with Task Queues in
by
Flum, Jörg. author.
Format:
Electronic Resources
Excerpt:
W-Hierarchy -- The A-Hierarchy -- Kernelization and Linear Programming Techniques -- The Automata-Theoretic
by
Cotta, Carlos. editor.
Format:
Electronic Resources
Excerpt:
the Container Loading Problem: A Hybrid Approach Based on Integer Linear Programming and Genetic
by
Schwenker, Friedhelm. editor.
Format:
Electronic Resources
Excerpt:
Programming Support Vector Machines Using Decomposition Techniques -- Multiple Classifier Systems -- Multiple
by
Blesa, Maria J. editor.
Format:
Electronic Resources
Excerpt:
be integrated with integer linear programming and other operational research techniques for tackling
by
Amadio, Roberto. editor.
Format:
Electronic Resources
Excerpt:
-- The Complexity of CTL* + Linear Past -- Footprints in Local Reasoning -- A Modal Deconstruction of
by
Thiemann, Peter. editor.
Format:
Electronic Resources
Excerpt:
-- Call-by-Push-Value from a Linear Logic point of view -- Visible Type Application -- Automatically Splitting a
by
Bücher, Philipp. editor.
Format:
Electronic Resources
Excerpt:
-- Combinatorial Methods for Disease Association Search and Susceptibility Prediction -- Integer Linear Programs
by
Casadio, Rita. editor.
Format:
Electronic Resources
Excerpt:
-- Computing the Quartet Distance Between Trees of Arbitrary Degree -- Using Semi-definite Programming to
Limit Search Results
Narrowed by: