14078 search results - page 267 / 2816 » Design and Analysis of Computer Algorithms |
163
click to vote
ISQED
2007
IEEE
16 years 27 days ago
2007
IEEE
Design verification has become a bottleneck of modern designs. Recently, simulation-based random verification has attracted a lot of interests due to its effectiveness in uncoveri...
173
click to vote
SIGCSE
2006
ACM
16 years 17 days ago
2006
ACM
An undergraduate elective course in data mining provides a strong opportunity for students to learn research skills, practice data structures, and enhance their understanding of a...
190
click to vote
SIGECOM
2006
ACM
16 years 17 days ago
2006
ACM
We present a reduction from graphical games to Markov random fields so that pure Nash equilibria in the former can be found by statistical inference on the latter. Our result, wh...
173
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
Consider the edge-connectivity survivable network design problem: given a graph G = (V, E) with edge-costs, and edgeconnectivity requirements rij Z0 for every pair of vertices i,...
