4836 search results - page 723 / 968 » Exploring the Similarity Space |
206
click to vote
AAAI
2008
15 years 9 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
224
click to vote
AAAI
2007
15 years 9 months ago
2007
Complex networks exist in a wide array of diverse domains, ranging from biology, sociology, and computer science. These real-world networks, while disparate in nature, often compr...
173
click to vote
NSDI
2007
15 years 9 months ago
2007
Byzantine fault tolerant systems behave correctly when no more than f out of 3f + 1 replicas fail. When there are more than f failures, traditional BFT protocols make no guarantee...
195
click to vote
USENIX
2008
15 years 9 months ago
2008
The popularity of "Trust-on-first-use" (Tofu) authentication, used by SSH and HTTPS with self-signed certificates, demonstrates significant demand for host authenticatio...
176
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation of existing systems can reinforce a Subject Matter Expert’s gut feelings. However, it is more difficult to develop intuition for proposed systems, particularly when c...