2436 search results - page 147 / 488 » Comonadic Notions of Computation |
124
click to vote
KI
2009
Springer
15 years 8 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
152
click to vote
WFLP
2009
Springer
15 years 8 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
131
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
103
Voted
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
A technique to expedite iterative computations which is based on multidimensional chains of recurrences MCR is presented. Algorithms for MCR construction, interpretation and MCR-b...
140
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...