4460 search results - page 340 / 892 » Resources in process algebra |
209
Voted
CVPR
2011
IEEE
15 years 3 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....
173
Voted
SIAMMA
2010
15 years 2 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...
189
click to vote
TCS
2010
15 years 2 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...
259
Voted
JMLR
2012
13 years 10 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...
172
Voted
CCS
2004
ACM
16 years 28 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...