2436 search results - page 101 / 488 » Comonadic Notions of Computation |
132
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...
105
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
The computer systems that provide the information underpinnings for critical infrastructure applications, both military and civilian, are essential to the operation of those appli...
131
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
117
Voted
CMMR
2003
Springer
15 years 9 months ago
2003
Springer
In the context of musical analysis, we propose an algorithm that automatically induces patterns from polyphonies. We define patterns as “perceptible repetitions in a musical piec...
126
Voted
COSIT
2003
Springer
15 years 9 months ago
2003
Springer
This paper looks at axioms for convexity, and shows how they can be applied to discrete spaces. Two structures for a discrete geometry are considered: oriented matroids, and cell c...