3625 search results - page 121 / 725 » On choosing |
156
click to vote
SAT
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
189
click to vote
SPIRE
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Term-partitioned indexes are generally inefficient for the evaluation of conjunctive queries, as they require the communication of long posting lists. On the other side, ...
137
click to vote
TARK
2009
Springer
16 years 27 days ago
2009
Springer
ity and the speed of decision-making (extended abstract) Michael Mandler Department of Economics Royal Holloway College, University of London Egham, Surrey TW20 0EX United Kingdom ...
155
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
147
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...