874 search results - page 85 / 175 » Computing Weighted Solutions in Answer Set Programming |
103
Voted
CRYPTO
2007
Springer
15 years 7 months 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...
107
Voted
IEEEPACT
2000
IEEE
15 years 5 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...
116
click to vote
KR
2010
Springer
15 years 5 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...
FAC
2000
15 years 25 days 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...
102
Voted
COMGEO
2008
ACM
15 years 1 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 ...