1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Structure Is Informative: On Mining Structured Information Networks -- Intelligent Interaction with the Real...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- Arthur and Merlin as Oracles -- A Decision Problem for Ultimately Periodic Sets in Non-standard...
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 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Combination and Efficient Categorization of 3D Models -- A Generalised-Mutual-Information-Based Oracle...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook