Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing composition » processing decomposition, process composition, processing composite
processing processing » processing proceedings, processing properties
composition programs » compensation programs, composition problem, compression programs
integer processing » integrated processing, water processing, filter processing
https » http
processing composition » processing decomposition, process composition, processing composite
processing processing » processing proceedings, processing properties
composition programs » compensation programs, composition problem, compression programs
integer processing » integrated processing, water processing, filter processing
https » http
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