Constructive forcing, CPS translations and witness extraction in Interactive realizability.
Federico AschieriPublished in: Math. Struct. Comput. Sci. (2017)
Keyphrases
- user friendly
- machine translation
- automatic extraction
- knowledge extraction
- user interaction
- graphical interface
- image processing
- multi agent
- computer graphics
- virtual reality
- highly interactive
- database
- interactive learning
- automatically extracted
- data visualization
- information extraction
- evolutionary algorithm
- multiscale
- machine learning
- real world
- real time