2501 search results - page 87 / 501 » Obligations and Their Interaction with Programs |
129
click to vote
ICALP
2004
Springer
15 years 9 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. ...
116
click to vote
IFIP
2004
Springer
15 years 9 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...
104
click to vote
EMNLP
2004
15 years 5 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 ...
131
click to vote
CG
2007
Springer
15 years 4 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...
117
click to vote
MMM
2005
Springer
15 years 10 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...