1
出版 2010
书本目录: ... of Proximity Heuristics and Semantic Association of Query-Terms -- Network Management Initialization for Wired...
获取全文
电子 电子书
2
出版 2006
书本目录: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
获取全文
电子 电子书
3
出版 2010
书本目录: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
获取全文
电子 电子书
4
出版 2005
书本目录: ... -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent...
获取全文
电子 电子书
5
出版 2006
书本目录: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
获取全文
电子 电子书
6
出版 2006
书本目录: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
获取全文
电子 电子书
7
出版 2015
书本目录: ... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...
获取全文
电子 电子书
8
出版 2008
书本目录: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
获取全文
电子 电子书
9
出版 2014
书本目录: ... for Concurrency Control in Computer Aided Design Database -- Performance Study of Combined Artificial Neural...
获取全文
电子 电子书
10
出版 2005
书本目录: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
获取全文
电子 电子书
11
出版 2006
书本目录: ... of Agglomerative Scheduling in Concurrent Processing of Frequent Itemset Queries -- Analysis of the Structure...
获取全文
电子 电子书
12
出版 2015
书本目录: ... features values -- IX Concurrent Parallel Processing -- Parallelization of a Block Cipher Based on Chaotic...
获取全文
电子 电子书
13
出版 2010
书本目录: ...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...
获取全文
电子 电子书
14
出版 2007
书本目录: ... Concurrent Real-Time System Specifications for Verification -- Slotted-Circus -- Bug Hunting with False...
获取全文
电子 电子书
15
出版 2007
书本目录: ...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...
获取全文
电子 电子书
16
出版 2010
书本目录: ... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...
获取全文
电子 电子书
17
出版 2006
书本目录: ... Data Warehouse -- Remote-Specific XML Query Mobile Agents -- Business Models and Analysis -- A Process...
获取全文
电子 电子书
18
出版 2010
书本目录: ... Sensitive Hashing -- Efficient Fuzzy Top-k Query Processing over Uncertain Objects -- Performance and Power...
获取全文
电子 电子书
19
出版 2008
书本目录: ... Case -- CSR: Discovering Subsumption Relations for the Alignment of Ontologies -- Query Processing...
获取全文
电子 电子书