Search Results - interactions identification programming programming constructs https

Search alternatives:
interactions identification » identification identification
identification programming » identification programmes , specification programming , verification programming
programming programming » programming programmed , programming program
programming constructs » programming concepts , programming contest
constructs https » construction https , constructs loops , constructs arti

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

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Published 2014

Table of Contents: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
View full text

Electronic eBook

Large-Scale Knowledge Resources. Construction and Application Construction and Application - Third...

Published 2008

Table of Contents: “... in Document Clustering -- Identification of MCMC Samples for Clustering -- TGC-Tree: An Online Algorithm...”
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

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
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: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
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: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
View full text

Electronic eBook

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... Optimization Using a Steady-State Approach -- Genetic Algorithm Based Methods for Identification of Health Risk...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
View full text

Electronic eBook

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, J...

Published 2010

Table of Contents: “... Agent-Based Communities of Web Services -- Interactive and Cognitive Environments -- An Ambient...”
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

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

Computer Vision -- ACCV 2009 9th Asian Conference on Computer Vision, Xi'an, China, September 23-27, 2009, Revised Selected Papers, Part III /

Published 2010

Table of Contents: “... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...”
View full text

Electronic eBook

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings /

Published 2007

Table of Contents: “...B -- Optimal Lightweight Construction of Suffix Arrays for Constant Alphabets -- Range Non...”
View full text

Electronic eBook

Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, Saarbrücken, Germany, June...

Published 2010

Table of Contents: “... -- CITOM: Incremental Construction of Topic Maps -- Schema-Matching with Data Dictionaries -- Requirements...”
View full text

Electronic eBook

Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 /

Published 2015

Table of Contents: “... identification through camera video -- Interactive platform to include human-Structure interaction effects...”
View full text

Electronic eBook

Electrical Engineering and Applied Computing

Published 2011

Table of Contents: “... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”
View full text

Electronic eBook

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Published 2005

Table of Contents: “... -- The Association Construct in Conceptual Modelling – An Analysis Using the Bunge Ontological Model -- Computing...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Published 2008

Table of Contents: “... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Cluster Job Execution -- Glue Code Synthesis for Distributed Software Programming -- Interactive...”
View full text

Electronic eBook

Narrow Search