6608 search results - page 948 / 1322 » On the Completeness of Model Checking |
201
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— We propose a robot path planning method based on particle swarm optimization in an uncertain environment. We consider the case that a robot’s cognition to its environment is ...
172
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We prove that the number of Pareto-optimal solutions in any multiobjective binary optimization problem with a finite number of linear objective functions is polynomial...
144
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
As the use of automated negotiations becomes more mainstream, one key attribute that needs to be incorporated is a measure of a seller’s trust or reliability. In this paper, we ...
178
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a CMOS imager with built-in capability to perform Compressed Sensing coding by Random Convolution. It is achieved by a shift register set in a pseudo-random configurat...
177
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...