2157 search results - page 378 / 432 » Binary ant algorithm |
CF
2008
ACM
13 years 10 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
MMB
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
AUTOID
2005
IEEE
13 years 10 months ago
2005
IEEE
We describe a face mosaicing scheme that generates a composite face image during enrollment based on the evidence provided by frontal and semi-profile face images of an individual...
CEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract- Significant operational cost and energy savings can be achieved by optimising the schedules of pumps, which pump water from source reservoirs to storage tanks, in Water ...
CONEXT
2008
ACM
13 years 10 months ago
2008
ACM
Distributed Denial of Service (DDoS) attack mitigation systems usually generate a list of filter rules in order to block malicious traffic. In contrast to this binary decision we ...