Search Results - integration identification programming problem constructs https

Search alternatives:
integration identification » interaction identification , interactions identification , interpretation identification
identification programming » identification programmes , specification programming , verification programming
programming problem » programming problems
problem constructs » problem construction , problem constructive , problem constructing
constructs https » construction https , constructs loops , constructs arti

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

Published 2014

Table of Contents: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Published 2007

Table of Contents: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
View full text

Electronic eBook

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Published 2014

Table of Contents: “...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “...-ScaleProblems Sensitivity Analysis for the Purposes of Parameter Identification of a S. cerevisiae Fed-Batch...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
View full text

Electronic eBook

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Computational Complexity -- Algorithm -- On Several Scheduling Problems with Rejection or Discretely...”
View full text

Electronic eBook

Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, Xi'an, China, Augus...

Published 2006

Table of Contents: “... by Genetic Programming -- Identifying Single Good Clusters in Data Sets -- A New Simplified Gravitational...”
View full text

Electronic eBook

Information Processing with Evolutionary Algorithms From Industrial Applications to Academic Speculations /

Published 2005

Table of Contents: “...-Adaptive Software -- Extending the Boundaries of Design Optimization by Integrating Fast Optimization...”
View full text

Electronic eBook

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Published 2005

Table of Contents: “... Applied to Numerical Optimization Problems -- New Codification Schemas for Scheduling with Genetic...”
View full text

Electronic eBook

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings /

Published 2014

Table of Contents: “...Processing Collective Knowledge – Conflict Resolution and Integration Aspects -- How to Store...”
View full text

Electronic eBook

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “...Keynote Speeches -- Selected Problems of the Static Complex Systems Identification -- Combining...”
View full text

Electronic eBook

Topics in Cryptology -- CT-RSA 2006 The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings /

Published 2006

Table of Contents: “... Differential Attacks on 8-Round AES-192 -- Identification -- Session Corruption Attack and Improvements...”
View full text

Electronic eBook

Public Key Infrastructure 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings /

Published 2007

Table of Contents: “... Problem and Concurrent Secure Identification -- An Efficient Signcryption Scheme with Key Privacy...”
View full text

Electronic eBook

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS 2005 /

Published 2006

Table of Contents: “... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...”
View full text

Electronic eBook

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”
View full text

Electronic eBook

Narrow Search