1
Published 2005
Table of Contents: ... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... for Uniform Semi-Unification.- Deciding WQO for Factorial Languages.- On the Construction of a Family...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...
View full text
Electronic eBook
12
Table of Contents: ... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...
View full text
Electronic eBook
13
Table of Contents: ... Partially -- Part II: The Geometry of the Vertebrate Body Takes the Form of Parallel Stripes and Concentric...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Systems -- Deciding Bisimilarity of Full BPA Processes Locally -- Optimal Strategy Synthesis in Request...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Envelopment Analysis -- Two-Stage Network Processes: DEA Frontier Identification -- Additive Efficiency...
View full text
Electronic eBook