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