942 search results - page 121 / 189 » Process Algebraic Non-product-forms |
SIAMMA
2010
13 years 4 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...
TCS
2010
13 years 4 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...
JMLR
2012
12 years 13 days 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...
EUROMICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
Source Code
Built upon the Qt library, the QVision is an image processing and computer vision library. It offers a set of image processing and matrix, vector and tensor algebra functions, unde...