Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersections computing » interaction computing, interneurons computing, intersections rotating
proceedings programmed » processing programmed, proceedings program, process programmed
functionals https » functions https, functionals hints, functionals hannes
function https » functions https, fiction https
intersections computing » interaction computing, interneurons computing, intersections rotating
proceedings programmed » processing programmed, proceedings program, process programmed
functionals https » functions https, functionals hints, functionals hannes
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”View full text
Electronic
eBook
13
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”View full text
Electronic
eBook