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: ... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...
Få fuldtekst
Electronisk eBog
3
Udgivet 2008
Indholdsfortegnelse: ... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ...Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human...
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: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
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: ... -- Parallel Consistency Maintenance of Materialized Views Using Referential Integrity Constraints in Data...
Få fuldtekst
Electronisk eBog
10
Udgivet 2005
Indholdsfortegnelse: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
Få fuldtekst
Electronisk eBog
11
Udgivet 2013
Indholdsfortegnelse: ...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...
Få fuldtekst
Electronisk eBog