Sciweavers

9532 search results - page 361 / 1907
» Logic, Graphs, and Algorithms
Sort
View
TEI
2009
ACM
103views Hardware» more  TEI 2009»
16 years 1 months ago
A tangible construction kit for exploring graph theory
Graphs are a versatile representation of many systems in computer science, the social sciences, and mathematics, but graph theory is not taught in schools. We present our work on ...
Eric Schweikardt, Nwanua Elumeze, Michael Eisenber...
FOCS
2007
IEEE
16 years 1 months ago
Reconstruction for Models on Random Graphs
Consider a collection of random variables attached to the vertices of a graph. The reconstruction problem requires to estimate one of them given ‘far away’ observations. Sever...
Antoine Gerschenfeld, Andrea Montanari
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
IMECS
2007
15 years 8 months ago
Using Background Knowledge for Graph Based Learning: A Case Study in Chemoinformatics
The benefit of incorporating background knowledge in the learning process has been successfully demonstrated in numerous applications of ILP methods. Nevertheless the effect of inc...
Thashmee Karunaratne, Henrik Boström
NIPS
2008
15 years 8 months ago
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation
We show that an important and computationally challenging solution space feature of the graph coloring problem (COL), namely the number of clusters of solutions, can be accurately...
Lukas Kroc, Ashish Sabharwal, Bart Selman