Sciweavers

642 search results - page 118 / 129
» corr 2006
Sort
View
CORR
2006
Springer
120views Education» more  CORR 2006»
14 years 10 months ago
Logic Column 15: Coalgebras and Their Logics
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
Alexander Kurz
CORR
2008
Springer
213views Education» more  CORR 2008»
14 years 10 months ago
Between conjecture and memento: shaping a collective emotional perception of the future
Abstract Microblogging is a form of online communication by which users broadcast brief text updates, also known as tweets, to the public or a selected circle of contacts. A varieg...
Alberto Pepe, Johan Bollen
93
Voted
CORR
2006
Springer
120views Education» more  CORR 2006»
14 years 10 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
CORR
2006
Springer
108views Education» more  CORR 2006»
14 years 10 months ago
Two polygraphic presentations of Petri nets
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
Yves Guiraud
CORR
2006
Springer
120views Education» more  CORR 2006»
14 years 10 months ago
On the Role of Shared Entanglement
Despite the apparent similarity between shared randomness and shared entanglement in the context of Communication Complexity, our understanding of the latter is not as good as of ...
Dmitry Gavinsky