1743 search results - page 190 / 349 » Generalized Modal Satisfiability |
147
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract—This paper formulates and studies a general distributed field reconstruction problem using a dense network of noisy one-bit randomized scalar quantizers in the presence...
130
Voted
IPL
2006
15 years 3 months ago
2006
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...
130
Voted
ISCI
2006
15 years 3 months ago
2006
Many special purpose algorithms exist for extracting information from streaming data. Constraints are imposed on the total memory and on the average processing time per data item....
92
Voted
ECCC
2007
15 years 3 months ago
2007
We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that “a distribution property in the class ...
123
Voted
ENTCS
2007
15 years 3 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...