2981 search results - page 274 / 597 » Answer Set Planning |
128
click to vote
EDBT
2012
ACM
13 years 7 months ago
2012
ACM
In this paper we review the history of systems for managing “Big Data” as well as today’s activities and architectures from the (perhaps biased) perspective of three “data...
216
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
149
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
—Signcryption is a cryptographic primitive that fulfills both the functions of digital signature and public key encryption simultaneously, at a cost significantly lower than th...
136
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the parameterized complexity of generalisations and variations of the dominating set problem on classes of graphs that are nowhere dense. In particular, we show that...
128
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...