1
Published 2014
Table of Contents: ... : Unification and Efficient Computation in The Minimalist Program -- Chapter XI : Recursion in generative...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...-Oriented Software Engineering -- Time Recursive Petri Nets -- Designing Case Handling Systems -- Model...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...-Oriented Programming Language for Computing in Context -- Search -- A Little Respect (for the Role...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...Awarded Papers -- Overview of Awarded Papers: The 19th Annual Conference of JSAI -- On Constructing...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
View full text
Electronic eBook