2436 search results - page 116 / 488 » Comonadic Notions of Computation |
182
click to vote
TIME
2006
IEEE
16 years 26 days 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...
199
click to vote
EUROPAR
2004
Springer
16 years 7 days 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 ...
144
click to vote
ICCHP
2004
Springer
16 years 7 days 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...
165
click to vote
LICS
1999
IEEE
15 years 11 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...
188
click to vote
MFCS
1997
Springer
15 years 11 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...