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...
احصل على النص الكامل
الكتروني كتاب الكتروني