Search Results - interpretation identification programming programming constructs https

Search alternatives:
interpretation identification » interpolation identification , interpretation verification , integration 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

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint...

Published 2013

Table of Contents: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
View full text

Electronic eBook

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

Transactions on Aspect-Oriented Software Development XI

Published 2014

Table of Contents: “...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”
View full text

Electronic eBook

Languages and Compilers for Parallel Computing 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers /

Published 2008

Table of Contents: “... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”
View full text

Electronic eBook

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... in Difference Domain -- Robustness of Color Interpolation Identification against Anti-forensic Operations...”
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

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Published 2008

Table of Contents: “... Decomposition in a Rely/Guarantee Context -- A Verification Approach for System-Level Concurrent Programs...”
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

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

Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010, Proceedi...

Published 2010

Table of Contents: “...-Based Analysis -- Intelligent Author Identification -- Modeling Techniques for Services -- Abstraction...”
View full text

Electronic eBook

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /

Published 2006

Table of Contents: “... Structural Data Mining in Cognitive Pattern Interpretation -- Constructing Song Syntax by Automata Induction...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
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

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: “... -- Analysis of the Performance of a Semantic Interpretability-Based Tuning and Rule Selection of Fuzzy Rule...”
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

Frontiers in Computational and Systems Biology

Published 2010

Table of Contents: “... Causality: Theory and Applications -- Transcription Factor Binding Site Identification by Phylogenetic...”
View full text

Electronic eBook

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Identification and Counter Abstraction for Full Virtual Symmetry -- Verification of Memory Hierarchy Mechanisms...”
View full text

Electronic eBook

Multi-Objective Machine Learning

Published 2006

Table of Contents: “... the Multi-Objective Optimization Approach -- Feature Extraction Using Multi-Objective Genetic Programming...”
View full text

Electronic eBook

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers /

Published 2006

Table of Contents: “... Construction Project Histories for Estimating and Defect Detection -- Case Studies of Intelligent Context-Aware...”
View full text

Electronic eBook

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings /

Published 2015

Table of Contents: “... Neural Network Construction Algorithm Inspired by Geometric Semantic Genetic Programming -- Eager Random...”
View full text

Electronic eBook

Narrow Search