Sciweavers

132 search results - page 9 / 27
» Regular Decompositions
Sort
View
74
Voted
FCSC
2008
87views more  FCSC 2008»
14 years 9 months ago
On the verification of polynomial system solvers
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xi...
AAAI
2007
14 years 11 months ago
Clustering with Local and Global Regularization
Clustering is an old research topic in data mining and machine learning communities. Most of the traditional clustering methods can be categorized local or global ones. In this pa...
Fei Wang, Changshui Zhang, Tao Li
NIPS
2001
14 years 10 months ago
Transform-invariant Image Decomposition with Similarity Templates
Recent work has shown impressive transform-invariant modeling and clustering for sets of images of objects with similar appearance. We seek to expand these capabilities to sets of...
Chris Stauffer, Erik G. Miller, Kinh Tieu
FOCS
2003
IEEE
15 years 2 months ago
Approximation Algorithms for Asymmetric TSP by Decomposing Directed Regular Multigraphs
A directed multigraph is said to be d-regular if the indegree and outdegree of every vertex is exactly d. By Hall’s theorem one can represent such a multigraph as a combination ...
Haim Kaplan, Moshe Lewenstein, Nira Shafrir, Maxim...
EMNLP
2011
13 years 9 months ago
Dual Decomposition with Many Overlapping Components
Dual decomposition has been recently proposed as a way of combining complementary models, with a boost in predictive power. However, in cases where lightweight decompositions are ...
André L. Martins, Noah A. Smith, Már...