Resultados da busca - interpretation identification programs program constructing https

Buscas alternativas:
interpretation identification » interpolation identification , interpretation verification , integration identification
identification programs » identification programmes , identification problems , certification programs
program constructing » program construction , diagram constructing , programs conducting
constructing https » construction https , consulting https , constructing better
programs program » programming program

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

Publicado em 2013

Sumário: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2014

Sumário: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Transactions on Aspect-Oriented Software Development XI

Publicado em 2014

Sumário: “...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2013

Sumário: “... in Difference Domain -- Robustness of Color Interpolation Identification against Anti-forensic Operations...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... Decomposition in a Rely/Guarantee Context -- A Verification Approach for System-Level Concurrent Programs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... Structural Data Mining in Cognitive Pattern Interpretation -- Constructing Song Syntax by Automata Induction...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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 /

Publicado em 2006

Sumário: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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...

Publicado em 2010

Sumário: “...-Based Analysis -- Intelligent Author Identification -- Modeling Techniques for Services -- Abstraction...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2014

Sumário: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... -- CITOM: Incremental Construction of Topic Maps -- Schema-Matching with Data Dictionaries -- Requirements...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... -- Analysis of the Performance of a Semantic Interpretability-Based Tuning and Rule Selection of Fuzzy Rule...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Frontiers in Computational and Systems Biology

Publicado em 2010

Sumário: “... Causality: Theory and Applications -- Transcription Factor Binding Site Identification by Phylogenetic...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... -- Identification and Counter Abstraction for Full Virtual Symmetry -- Verification of Memory Hierarchy Mechanisms...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Multi-Objective Machine Learning

Publicado em 2006

Sumário: “... the Multi-Objective Optimization Approach -- Feature Extraction Using Multi-Objective Genetic Programming...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... Construction Project Histories for Estimating and Defect Detection -- Case Studies of Intelligent Context-Aware...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2015

Sumário: “... Neural Network Construction Algorithm Inspired by Geometric Semantic Genetic Programming -- Eager Random...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca