1
Published 2008
Table of Contents: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Approach to Specification and Composition of Web Services -- Applied Stochastic Integer Programming...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Model -- 16×16 Integer Cosine Transform for HD Video Coding -- Heegard-Berger Video Coding Using LMMSE...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... by Genetic Programming -- Identifying Single Good Clusters in Data Sets -- A New Simplified Gravitational...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- A Fuzzy Programming Approach for Bi-level Stochastic Programming -- Implementation of Intelligent...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Mining -- Mining Fuzzy Association Rules from Composite Items -- P-Prism: A Computationally Efficient...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook