Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmed functionals » programming functionals, programming functional, programs functional
computing processing » computing proceeding, computer processing, computing profession
functionals https » functions https, function https, functionals hints
programmed functionals » programming functionals, programming functional, programs functional
computing processing » computing proceeding, computer processing, computing profession
functionals https » functions https, function https, functionals hints
1
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
2
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
3
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...”View full text
Electronic
eBook
5
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
6
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”View full text
Electronic
eBook
9
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
10
Published 2007
Table of Contents:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”View full text
Electronic
eBook
15
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
16
Published 2005
Table of Contents:
“... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”View full text
Electronic
eBook
20
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