9719 search results - page 1800 / 1944 » Answer Set Optimization |
99
Voted
LCPC
2000
Springer
15 years 4 months ago
2000
Springer
In translating HPF programs, a compiler has to generate local iteration and communication sets. Apart from local enumeration, local storage compression is an issue, because in HPF ...
86
Voted
AAAI
2008
15 years 3 months ago
2008
2) a set of abstract drama manager; 3) a model of player response to drama manager actions; and 4) an author-specified evaluation function. The drama manager's task is to sele...
166
Voted
CRV
2005
IEEE
15 years 2 months ago
2005
IEEE
In robotic navigation, path planning is aimed at getting the optimum collision-free path between a starting and target locations. The optimality criterion depends on the surroundi...
129
click to vote
PETRA
2010
ACM
15 years 2 months ago
2010
ACM
We study the performance of three dynamic programming methods on music retrieval. The methods are designed for time series matching but can be directly applied to retrieval of mus...
129
click to vote
EUROCRYPT
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a new notion called -isolated proofs of knowledge ( -IPoK). These are proofs of knowledge where a cheating prover is allowed to exchange up to bits of communication wi...