2286 search results - page 421 / 458 » Algorithms for Categorical Equivalence |
167
click to vote
KDD
2009
ACM
16 years 16 days 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...
176
click to vote
FSTTCS
2009
Springer
16 years 10 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...
164
click to vote
TPHOL
2007
IEEE
16 years 1 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...
157
Voted
CP
2007
Springer
15 years 12 months 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...
138
click to vote
WAOA
2007
Springer
15 years 12 months 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...