1
Publicado em 2006
Sumário: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2015
Sumário: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2007
Sumário: ... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2013
Sumário: ... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2007
Sumário: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2008
Sumário: ... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2006
Sumário: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... and Their Significance for Axonal Function -- New Insights in Information Processing in the Axon -- Electrical Coupling...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2008
Sumário: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2014
Sumário: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2013
Sumário: ... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2007
Sumário: ... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2008
Sumário: ... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2013
Sumário: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2008
Sumário: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2006
Sumário: ... for Scheduling with Resource Dependent Processing Times -- Approximating Buy-at-Bulk and Shallow-Light k-Steiner...
Obter o texto integral
Recurso Electrónico livro electrónico