1
Published 2006
Table of Contents: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...Computer Algebra and Applications -- On Wintner’s Conjecture About Central Configurations...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...The First Section: Advanced Evolutionary Computing Theory and Algorithms -- A Novel Ant Colony...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Sequences Prediction -- Complete Diagnosis of Electrical Power Systems Using MDS and ANFIS -- Intelligent...
View full text
Electronic eBook
6
Subjects: ...Computational Science and Engineering. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- The Two-Variable Fragment with Counting Revisited -- Intuitionistic Logic and Computability Theory...
View full text
Electronic eBook
9
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
10
Published 2008
Table of Contents: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Calculus -- Block Structure vs. Scope Extrusion: Between Innocence and Omniscience -- Completeness...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... and Back -- A Complete Axiomatic System for a Process-Based Spatial Logic -- Voronoi Games on Cycle Graphs...
View full text
Electronic eBook
13
Published 2014
Table of Contents: .... Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit -- Span-Program-Based...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ...Computational Complexity of Generalized Domination: A Complete Dichotomy for Chordal Graphs...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Differential Geometry Operators over Surfaces -- A Marching Method for Computing Intersection Curves of Two...
View full text
Electronic eBook
16
by Sullivan, T.J., Sullivan, T.J.
Published 2015
Subjects: ...Probability Theory and Stochastic Processes. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Dynamics -- Network Operations -- Hash-Based Techniques for High-Speed Packet Processing -- Fast Packet...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Computing -- Contributed Papers -- Robust Kinetic Convex Hulls in 3D -- On Dominance Reporting in 3D...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ...-Lingual Correcting and Completive Method for Multilingual Ontology Labels -- A Cross-Lingual Correcting...
View full text
Electronic eBook