Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive generative » interactive narrative, interactive genetic, interaction generation
generative programming » imperative programming, declarative programming, interactive programming
program functionality » protein functionality, programs functional, supra functionality
programming program » programming programmed, programming problem, programming problems
functionality https » functionality maps, functionality needs, functionality pt
interactive generative » interactive narrative, interactive genetic, interaction generation
generative programming » imperative programming, declarative programming, interactive programming
program functionality » protein functionality, programs functional, supra functionality
programming program » programming programmed, programming problem, programming problems
functionality https » functionality maps, functionality needs, functionality pt
1
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
5
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”View full text
Electronic
eBook
11
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... of the Effective Method of Generating Characteristic Gestures in Nonverbal Communication -- Hand-Object Interaction...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Sensors for Haptics -- FlexTorque: Exoskeleton Interface for Haptic Interaction with the Digital World...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Leveraging Business Process Models for ETL Design -- Adaptation in Open Systems: Giving Interaction Its...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Via Periodic Optimization and Linear Programming: The Case of Sigmoidal Utility Function -- TCP Versus...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”View full text
Electronic
eBook