5138 search results - page 289 / 1028 » Randomized Algorithms for 3-SAT |
264
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
161
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a novel method for multi-robot plan adaptation which can be used for adapting existing spatial plans of robotic teams to new environments or imitating collaborative spat...
167
click to vote
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a framework which we call stochastic offline programming (SOP). The idea is to embed the development of combinatorial algorithms in an off-line learning environment whi...
183
click to vote
CC
2010
Springer
15 years 4 months ago
2010
Springer
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
216
click to vote
EMNLP
2011
14 years 6 months ago
2011
In this paper, we propose a novel approach to automatic generation of aspect-oriented summaries from multiple documents. We first develop an event-aspect LDA model to cluster sen...