Sciweavers

7109 search results - page 367 / 1422
» Process Algebra with Combinators
Sort
View
CVPR
2011
IEEE
15 years 2 months ago
Distributed Computer Vision Algorithms Through Distributed Averaging
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....
Roberto Tron, René, Vidal
SIAMMA
2010
105views more  SIAMMA 2010»
15 years 1 months ago
Free Cooling and High-Energy Tails of Granular Gases with Variable Restitution Coefficient
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...
Ricardo J. Alonso, Bertrand Lods
TCS
2010
15 years 1 months ago
A comparison of semantic models for noninterference
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...
Ron van der Meyden, Chenyi Zhang
JMLR
2012
13 years 8 months ago
Detecting Network Cliques with Radon Basis Pursuit
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...
Xiaoye Jiang, Yuan Yao, Han Liu, Leonidas J. Guiba...
154
Voted
NLPRS
2001
Springer
15 years 10 months ago
A summary planner based on a three-level discourse model
In this paper we present a computational view of an automatic summary generator based on a discourse model that combines semantic, rhetorical and intentional knowledge in order to...
Thiago Alexandre Salgueiro Pardo, Lucia Helena Mac...