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