3333 search results - page 342 / 667 » Abstract Proof Search |
148
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— To coordinate a team of robots for exploration is a challenging problem, particularly in large areas as for example the devastated area after a disaster. This problem c...
174
click to vote
VTC
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— In this contribution we present a novel ant colony optimization (ACO) based multi-user detector (MUD) designed for synchronous multi-carrier direct sequence code divisi...
195
click to vote
SAGA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Motivated by an application in project portfolio analysis under uncertainty, we develop an algorithm S-VNS for solving stochastic combinatorial optimization (SCO) problem...
159
click to vote
COMPSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
176
click to vote
P2P
2005
IEEE
16 years 7 days ago
2005
IEEE
Among the open problems in P2P systems, support for non-trivial search predicates, standardized query languages, distributed query processing, query load balancing, and quality of...