1818 search results - page 291 / 364 » Granularity-Adaptive Proof Presentation |
137
Voted
BIOCOMP
2007
15 years 4 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
114
click to vote
IM
2007
15 years 4 months ago
2007
Abstract—We investigate the use of gossip protocols for continuous monitoring of network-wide aggregates under crash failures. Aggregates are computed from local management varia...
117
Voted
AAAI
2006
15 years 4 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
116
click to vote
FLAIRS
2004
15 years 4 months ago
2004
The issue of fire propagation in cities is of obvious importance to Civil Authorities, but does present issues of computational complexity. Our basic assumption is that some event...
118
Voted
SODA
2004
ACM
15 years 4 months ago
2004
ACM
In this paper we study the problem of designing concurrent searchable data structures with performance guarantees that can be used in a distributed environment where data elements...