Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersections computing » interaction computing, interneurons computing, intersections rotating
processing programming » processing programmed, processing programs, passing programming
computing processing » computing proceeding, computing proceedings, computer processing
programming function » programming functional, programming functionals, programme function
function https » functions https, fiction https
intersections computing » interaction computing, interneurons computing, intersections rotating
processing programming » processing programmed, processing programs, passing programming
computing processing » computing proceeding, computing proceedings, computer processing
programming function » programming functional, programming functionals, programme function
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 2007
Table of Contents:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”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 2013
Table of Contents:
“... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
7
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
8
Published 2006
Table of Contents:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”View full text
Electronic
eBook
13
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
14
Published 2007
Table of Contents:
“... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”View full text
Electronic
eBook
16
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
17
Published 2008
Table of Contents:
“... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... for Scheduling with Resource Dependent Processing Times -- Approximating Buy-at-Bulk and Shallow-Light k-Steiner...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...”View full text
Electronic
eBook