Search Results - generation computational program semantics arrays via*

Search alternatives:
generation computational » interaction computational , detection computational , general computational
computational program » computational problem , compositional program , computational problems
program semantics » programming semantics , process semantics , from semantics
semantics arrays » semantics essays , semantics across , semantics arrow
arrays via » arrays a

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Published 2005

Table of Contents: “... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”
View full text

Electronic eBook

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”
View full text

Electronic eBook

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

Published 2008

Table of Contents: “... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”
View full text

Electronic eBook

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Recognition -- Every Picture Tells a Story: Generating Sentences from Images -- An Eye Fixation Database...”
View full text

Electronic eBook

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Published 2005

Table of Contents: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2014

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

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”
View full text

Electronic eBook

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
View full text

Electronic eBook

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
View full text

Electronic eBook

Intelligent Technologies and Engineering Systems

Published 2013

Table of Contents: “... and Approaching Degree Toolbox via Matlab -- Deploying autonomous coordinating agent for assessment model in smart...”
View full text

Electronic eBook

Narrow Search