1
Julkaistu 2005
Sisällysluettelo: ... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2005
Sisällysluettelo: ... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2008
Sisällysluettelo: ... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... Recognition -- Every Picture Tells a Story: Generating Sentences from Images -- An Eye Fixation Database...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2005
Sisällysluettelo: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2014
Sisällysluettelo: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2015
Sisällysluettelo: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2010
Sisällysluettelo: ... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2005
Sisällysluettelo: ...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2005
Sisällysluettelo: ... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2013
Sisällysluettelo: ... and Approaching Degree Toolbox via Matlab -- Deploying autonomous coordinating agent for assessment model in smart...
Hae kokoteksti
Elektroninen E-kirja