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...
獲取全文
電子 電子書