2501 search results - page 87 / 501 » Obligations and Their Interaction with Programs |
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
: Despite the growing interest in Interactive Storytelling (IS), there have been only a small number of implemented demonstrators and few have attempted at developing a re-usable I...
EMNLP
2004
13 years 10 months ago
2004
We describe experiments carried out with adaptive language and translation models in the context of an interactive computer-assisted translation program. We developed cache-based ...
CG
2007
Springer
13 years 8 months ago
2007
Springer
This paper describes the teaching of OpenGL shaders with hands-on a program called glman. Hands-on education is at its best when the students’ experimental feedback loop is very...
MMM
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we introduce a novel metadata model for describing scalable and interactive TV services that can be enriched with supplemental multimedia information. The model all...