1
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Protocol Construction as a Basis for Integration Architecture Configuration -- A P2P Approach for Business...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Applications of Adaptive Hypermedia in Education -- Protocols of Coordination and Structured...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...
View full text
Electronic eBook
6
Published 2014
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... and Game Conditions -- Model-Based Reinforcement Learning in a Complex Domain -- HMDP: A New Protocol...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... E-Commerce Enterprise Systems -- Extending Groupware for OLAP -- XML-Based OLAP Query Processing...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Discovery on Grid Systems -- Metamodel of Ontology Learning from Text -- An Analysis of Constructed...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Media -- A Computational Analysis of Joint Decision Making Processes -- Collaboratively Constructing a...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Manifesto -- Investigation and Implementation of T-DMB Protocol in NCTUns Simulator -- Empirical Analysis...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Effectiveness -- Agent-Oriented Programming for Client-Side Concurrent Web 2.0 Applications -- The SHIP: A SIP...
View full text
Electronic eBook