Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersections computing » interaction computing, interneurons computing, intersections rotating
proceedings programs » proceedings program, processing programs, procedures programs
programs function » programs functional, programme function, programs fiction
function https » functions https, fiction https
intersections computing » interaction computing, interneurons computing, intersections rotating
proceedings programs » proceedings program, processing programs, procedures programs
programs function » programs functional, programme function, programs fiction
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
Published 2014
Table of Contents:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”View full text
Electronic
eBook
14
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
15
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
16
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
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