108 search results - page 6 / 22 » rise 2004 |
FLOPS
2004
Springer
14 years 1 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
GG
2004
Springer
14 years 1 months ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
HUC
2004
Springer
14 years 1 months ago
2004
Springer
Ubiquitous computing is giving rise to applications that interact very closely with activity in the real world, usually involving instrumentation of environments. In contrast, we p...
ISI
2004
Springer
14 years 1 months ago
2004
Springer
The protection of critical infrastructures, such as electrical power grids, has become a primary concern of many nation states in recent years. Critical infrastructures involve mul...
KES
2004
Springer
14 years 1 months ago
2004
Springer
This paper reports an early result of an evaluation experiment of emotionally expressive characters for intercultural communication. The experiment was conducted as a series of dis...