2286 search results - page 421 / 458 » Algorithms for Categorical Equivalence |
180
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Max-margin Markov networks (M3 N) have shown great promise in structured prediction and relational learning. Due to the KKT conditions, the M3 N enjoys dual sparsity. However, the...
184
click to vote
FSTTCS
2009
Springer
16 years 25 days ago
2009
Springer
A tournament T = (V, A) is a directed graph in which there is exactly one arc between every pair of distinct vertices. Given a digraph on n vertices and an integer parameter k, th...
167
click to vote
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
162
click to vote
CP
2007
Springer
16 years 13 days ago
2007
Springer
Abstract There has been considerable interest in the identification of structural properties of combinatorial problems that lead to efficient algorithms for solving them. Some of...
147
click to vote
WAOA
2007
Springer
16 years 11 days ago
2007
Springer
We consider the following distributed optimization problem: three agents i = 1, 2, 3 are each presented with a load drawn independently from the same known prior distribution. Then...