1
出版 2005
書本目錄: ... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...
獲取全文
電子 電子書
2
出版 2008
書本目錄: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
獲取全文
電子 電子書
5
出版 2014
書本目錄: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
獲取全文
電子 電子書
6
出版 2012
書本目錄: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
獲取全文
電子 電子書
7
出版 2012
書本目錄: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
獲取全文
電子 電子書
8
出版 2014
書本目錄: ... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...
獲取全文
電子 電子書
9
出版 2005
書本目錄: ... Metrics for Conceptual Models of Data Warehouses -- Design and Development of a Tool for Integrating...
獲取全文
電子 電子書
10
出版 2005
書本目錄: ... Framework for the Image Retrieval Signal/Semantic Integration -- A New Algorithm for Content-Based Region...
獲取全文
電子 電子書
11
出版 2013
書本目錄: ... and Approaching Degree Toolbox via Matlab -- Deploying autonomous coordinating agent for assessment model in smart...
獲取全文
電子 電子書