4460 search results - page 340 / 892 » Resources in process algebra |
191
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Traditional computer vision and machine learning algorithms have been largely studied in a centralized setting, where all the processing is performed at a single central location....
154
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...
167
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...
230
click to vote
JMLR
2012
13 years 9 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...
153
Voted
CCS
2004
ACM
16 years 4 days ago
2004
ACM
In large-scale environments, network intrusion detection systems (NIDSs) face extreme challenges with respect to traffic volume, traffic diversity, and resource management. Whil...