2171 search results - page 278 / 435 » A Generic Process Algebra |
122
click to vote
SIAMMA
2010
14 years 11 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...
124
click to vote
TCS
2010
14 years 11 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...
182
click to vote
JMLR
2012
13 years 6 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...
167
click to vote
ISMIR
2004
Springer
15 years 9 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...
124
Voted
ICIP
2007
IEEE
15 years 8 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...