1
出版 2010
书本目录: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
获取全文
电子 电子书
2
出版 2008
书本目录: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
获取全文
电子 电子书
3
出版 2005
书本目录: ... -- An Improved Scheme of Wavelength Assignment for Parallel FFT Communication Pattern on a Class of Regular...
获取全文
电子 电子书
4
出版 2008
书本目录: ... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...
获取全文
电子 电子书
5
出版 2006
书本目录: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
获取全文
电子 电子书
6
出版 2014
书本目录: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
获取全文
电子 电子书
7
出版 2005
书本目录: ... Clustering -- Dealing with Data Corruption in Remote Sensing -- Regularized Least-Squares for Parse Ranking...
获取全文
电子 电子书
8
出版 2013
书本目录: ... Abstraction and Repair of Behavioral Programs -- Prediction and Explanation over DL-Lite Data Streams...
获取全文
电子 电子书
9
出版 2023
书本目录: ... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...
Open Access Book. Read online
电子 电子书
10
出版 2013
书本目录: ...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...
获取全文
电子 电子书
11
出版 2010
书本目录: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
获取全文
电子 电子书
12
出版 2010
书本目录: ... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...
获取全文
电子 电子书
13
出版 2010
书本目录: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
获取全文
电子 电子书
14
出版 2005
书本目录: ... Equilibria of Linear Congestion Games,, -- The Complexity of Games on Highly Regular Graphs -- Computing...
获取全文
电子 电子书
15
出版 2010
书本目录: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
获取全文
电子 电子书
16
出版 2007
书本目录: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
获取全文
电子 电子书
17
出版 2008
书本目录: ... to Capitalize on Experience in a Network of SMEs -- Regular Papers -- Directed Generation of Test Data...
获取全文
电子 电子书
18
出版 2005
书本目录: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
获取全文
电子 电子书
19
出版 2015
书本目录: ... Programming -- Big Data, Big Systems, Big Challenges: A Personal Experience -- An Automatic Technique...
获取全文
电子 电子书
20
出版 2011
书本目录: ... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...
获取全文
电子 电子书