Sciweavers

4397 search results - page 295 / 880
» Relational Algebra Operations
Sort
View
CC
2010
Springer
117views System Software» more  CC 2010»
15 years 2 months ago
Efficiently Certifying Non-Integer Powers
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
Erich Kaltofen, Mark Lavin
IANDC
2010
125views more  IANDC 2010»
15 years 2 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
CVPR
2011
IEEE
15 years 27 days 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»
14 years 11 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
155
Voted
SAC
2011
ACM
14 years 7 months ago
Spatial network modeling for databases
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
Virupaksha Kanjilal, Markus Schneider