3742 search results - page 520 / 749 » On the Use of Formal Techniques for Validation |
140
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— The tasks of entrapping/escorting and patrolling around an autonomous target are presented making use of the multi-robot cluster space control approach. The cluster space contr...
160
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
This work examines the dendritic cell algorithm (DCA) from a mathematical perspective. By representing the signal processing phase of the algorithm using the dot product it is sho...
172
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Multi-input multi-output (MIMO) receivers have been designed and their communication performance analyzed under the assumption of additive Gaussian noise. Wireless transceivers,...
175
click to vote
IPPS
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper we introduce a new approach to the consolidation strategy of a data center that allows an important reduction in the amount of active nodes required to process a het...
118
click to vote
ISCAS
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—Since the xDSL specifications impose stringent linearity requirements to ensure the integrity of the data transferred, current line drivers use linear amplifiers. The do...