6615 search results - page 1 / 1323 » Sampling and Soundness: Can We Have Both |
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
USS
2008
13 years 8 months ago
2008
Administrative verifiability gives election officials the means to protect against certain kinds of errors and fraud. This is typically accomplished with tools like paper audit tr...
ISCNZ
1996
IEEE
13 years 9 months ago
1996
IEEE
: Many information technology (IT) projects fail. These projects are not within budget, not on time or do not deliver what was promised. Failures in IT projects are more common tha...
FOCS
2008
IEEE
14 years 1 days ago
2008
IEEE
Learning problems form an important category of computational tasks that generalizes many of the computations researchers apply to large real-life data sets. We ask: what concept ...
IC
2003
13 years 7 months ago
2003
Abstract— In this paper, we develop methods to “sample” a large real network into a small realistic graph. Although topology modeling has received a lot attention lately, it ...