2436 search results - page 185 / 488 » Comonadic Notions of Computation |
141
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
157
Voted
SOCASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Existing computer science approaches to business modeling offer lowstractions such as data and control flows, which fail to capture the business intent underlying the in...
153
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
127
Voted
GROUP
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes research focused on understanding the role of incomplete structural information about online collective action systems in participation decisions. Specificall...
138
click to vote
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
We introduce a method for comparing protein structures using the notion of residue contexts based on protein Cα-atom backbones. The residue context is derived from the set of vec...