1
Published 2010
Table of Contents: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- Squidball: An Experiment in Large-Scale Motion Capture and Game Design -- Generating Ambient Behaviors...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Mining Bilingual Lexical Equivalences Out of Parallel Corpora -- Feed-Forward Neural Networks Using...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Contexts -- Can OWL and Logic Programming Live Together Happily Ever After? -- Innovation Detection Based...
View full text
Electronic eBook