Sciweavers

5981 search results - page 263 / 1197
» time 2006
Sort
View
COCO
2006
Springer
97views Algorithms» more  COCO 2006»
15 years 10 months ago
A Duality between Clause Width and Clause Density for SAT
We consider the relationship between the complexities of - and those of restricted to formulas of constant density. Let be the infimum of those such that - on variables can be dec...
Chris Calabro, Russell Impagliazzo, Ramamohan Patu...
ENTCS
2006
120views more  ENTCS 2006»
15 years 6 months ago
Timers for Distributed Systems
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
Gabriel Ciobanu, Cristian Prisacariu
NECO
2006
76views more  NECO 2006»
15 years 6 months ago
Spontaneous Dynamics of Asymmetric Random Recurrent Spiking Neural Networks
We study in this paper the effect of an unique initial stimulation on random recurrent networks of leaky integrate and fire neurons. Indeed given a stochastic connectivity this so...
Hédi Soula, Guillaume Beslon, Olivier Mazet
EDBT
2006
ACM
190views Database» more  EDBT 2006»
16 years 6 months ago
Fast Approximate Wavelet Tracking on Streams
Recent years have seen growing interest in effective algorithms for summarizing and querying massive, high-speed data streams. Randomized sketch synopses provide accurate approxima...
Graham Cormode, Minos N. Garofalakis, Dimitris Sac...
COMPGEOM
2006
ACM
16 years 16 days ago
An upper bound on the average size of silhouettes
It is a widely observed phenomenon in computer graphics that the size of the silhouette of a polyhedron is much smaller than the size of the whole polyhedron. This paper provides,...
Marc Glisse