2436 search results - page 116 / 488 » Comonadic Notions of Computation |
131
click to vote
TIME
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
140
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Despite important advances in Grid computing, scalability and interoperability issues obstruct the integration of the existing isolated grids into the Grid. We propose a worldwide ...
ICCHP
2004
Springer
15 years 9 months ago
2004
Springer
Over the past decade, the notion of multi-modal access to technology has moved from the realms of science fiction to reality. It is not now unthinkable to communicate with a machi...
118
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
139
click to vote
MFCS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...