1
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...-Based Fall Detection -- ST: Low-Level Color Image Processing -- On Contrast-Preserving Visualisation...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Stereo Reconstruction of a Submerged Scene -- A Functional Simplification of the BCS/FCS Image...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... the Global Grid -- Towards a Conceptual Core for Multicultural Processing: A Multilingual Ontology Based...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...-Optimization Using a Fitness Function Based on Proprioception -- Optic Flow Based Skill Learning for a Humanoid...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Interaction Modalities -- Model-Based Support for Specifying eService eGovernment Applications -- A Model...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Integration -- On Operations to Conform Object-Oriented Schemas -- ERP Implementation, Cross-Functionality...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Activation Functions -- Global Exponential Anti-synchronization of Coupled Memristive Chaotic Neural Networks...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Signal Manipulations in Non-Linear Chemical Processes -- Distributed Intrusion Detection System for SCADA...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Improvement Process with the Product Development Program -- Reliability Engineering: A Perspective -- Tampered...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... TV Program -- Intellectual Property Management & Protection and Digital Right Management in MPEG...
View full text
Electronic eBook