2171 search results - page 278 / 435 » A Generic Process Algebra |
151
click to vote
SIAMMA
2010
15 years 1 months ago
2010
ABSTRACT. We prove the so-called generalized Haff's law yielding the optimal algebraic cooling rate of the temperature of a granular gas described by the homogeneous Boltzmann...
158
click to vote
TCS
2010
15 years 1 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
222
click to vote
JMLR
2012
13 years 8 months ago
2012
In this paper, we propose a novel formulation of the network clique detection problem by introducing a general network data representation framework. We show connections between o...
194
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
152
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, the development of a computer-aided system for the classification of grade of neuroblastic differentiation is presented. This automated process is carried out withi...