7167 search results - page 1175 / 1434 » A Technique for Invariant Generation |
243
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
As one of the newest members in the field of artificial immune systems (AIS), the Dendritic Cell Algorithm (DCA) is based on behavioural models of natural dendritic cells (DCs). U...
174
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper is focused on the question of simulation and visualization of 3D gel and paste dynamic effects. In a first part, we introduce a 3D physically based particle (or mass-in...
210
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
176
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--Multi-cell processing, also called Coordinated Multiple Point (CoMP), is a very promising distributed multi-antennas technique that uses neighbour cell's antennas. T...
214
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A crucial issue for a mobile ad hoc network is the handling of a large number of nodes. As more nodes join the mobile ad hoc network, contention and congestion are more likely. Th...