8728 search results - page 50 / 1746 » On Reduct Construction Algorithms |
136
Voted
FOCS
2003
IEEE
15 years 5 months ago
2003
IEEE
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 ...
116
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
65
Voted
STOC
2007
ACM
16 years 26 days ago
2007
ACM
We give a randomized bi-criteria algorithm for the problem of finding a k-dimensional subspace that minimizes the Lp-error for given points, i.e., p-th root of the sum of p-th
PPOPP
1997
ACM
15 years 4 months ago
1997
ACM
Some of the most common parallel programming idioms include locks, barriers, and reduction operations. The interaction of these programming idioms with the multiprocessor's c...
70
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer