874 search results - page 85 / 175 » Computing Weighted Solutions in Answer Set Programming |
162
click to vote
CRYPTO
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Secure multiparty computation allows a group of distrusting parties to jointly compute a (possibly randomized) function of their inputs. However, it is often the case tha...
157
click to vote
IEEEPACT
2000
IEEE
15 years 10 months ago
2000
IEEE
Multimedia instruction set extensions have become a prominent feature in desktop microprocessor platforms, promising superior performance on a wide range of floating-point and int...
184
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
131
click to vote
FAC
2000
15 years 6 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
146
click to vote
COMGEO
2008
ACM
15 years 6 months ago
2008
ACM
The flow complex is a geometric structure, similar to the Delaunay tessellation, to organize a set of (weighted) points in Rk. Flow shapes are topological spaces corresponding to ...