Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
methods processing » methods preprocessing, methods proceedings, methods processes
processing program » processing programs, processing programmed, proceedings program
program care » program cara, program case, program carmen
care https » change https
methods processing » methods preprocessing, methods proceedings, methods processes
processing program » processing programs, processing programmed, proceedings program
program care » program cara, program case, program carmen
care https » change https
1
Published 2014
Table of Contents:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Images -- Biomedical Applications -- Digital Signal Processing Techniques for Gene Finding in Eukaryotes...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... in Biological Neural Networks using NeuronRank -- Adaptive Contextual Processing of Structured Data by Recursive...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Collecting Valuable Information from Fast Text Streams -- An AUML State Machine Based Method for Multi-agent...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... Sequential Data Mining Method for Modelling Solar Magnetic Cycles -- Steady-State Visually Evoked Potential...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”View full text
Electronic
eBook
17
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation 19th...
Published 2010
Table of Contents:
“...-Power Applications -- Special Session -- SystemC AMS Extensions: New Language – New Methods – New...”View full text
Electronic
eBook
18
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd...
Published 2013
Table of Contents:
“... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Integration in the Networked Healthcare Processes and Data Integration in the Networked Healthcare -- Simple...”View full text
Electronic
eBook