Hakutulokset - generation ((computational programming) or (computers programming)) semantics arrays via*

Tarkoititko:
computational programming » computation programming , computational program , computing programming
computers programming » computer programming , computer program , computer programs
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 /

Julkaistu 2005

Sisällysluettelo: “... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Recognition -- Every Picture Tells a Story: Generating Sentences from Images -- An Eye Fixation Database...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2015

Sisällysluettelo: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Technologies and Engineering Systems

Julkaistu 2013

Sisällysluettelo: “... and Approaching Degree Toolbox via Matlab -- Deploying autonomous coordinating agent for assessment model in smart...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua