173 search results - page 14 / 35 » Mathematical Foundations for a Compositional Distributional ... |
168
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
151
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a framework for clustering distributed data in unsupervised and semi-supervised scenarios, taking into account privacy requirements and communication costs. Rather than...
137
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...
194
click to vote
WCE
2007
15 years 6 months ago
2007
— This paper presents the initial results of a study aimed at improving the method by which the vibrations produced by transport vehicles are characterised and simulated. More sp...
161
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...