2436 search results - page 197 / 488 » Comonadic Notions of Computation |
116
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we describe a method for the composition of components that are relatively correct under a particular criterion. The notion of composition pattern is also introduce...
144
click to vote
GD
1999
Springer
15 years 9 months ago
1999
Springer
—We introduce a network visualization technique that supports an analytical method applied in the social sciences. Policy network analysis is an approach to study policy making s...
139
click to vote
HUC
1999
Springer
15 years 9 months ago
1999
Springer
This paper introduces the notion of profile-based cooperation as a way to support awareness and informal communication between mobile users during chance encounters. We describe th...
138
click to vote
TLCA
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...
141
click to vote
SIGGRAPH
1998
ACM
15 years 9 months ago
1998
ACM
We describe our experience with a new algorithm for the reconstruction of surfaces from unorganized sample points in IR 3. The algorithm is the first for this problem with provab...