1026 search results - page 173 / 206 » A Methodology for Equational Reasoning |
ESWA
2008
13 years 7 months ago
2008
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Open MASs can be extremely dynamic due to heterogeneous agents that migrate among them to obtain resources or services not found locally. In order to prevent malicious actions and...
ESWA
2010
13 years 6 months ago
2010
The automotive engine performance is greatly affected by the calibration of its electronic control unit (ECU). The method for ECU calibration is traditionally done by trial-and-er...
VL
2010
IEEE
13 years 6 months ago
2010
IEEE
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a “prog...
CLOUDCOM
2010
Springer
13 years 5 months ago
2010
Springer
Inspired by Darwinian evolution, a genetic algorithm (GA) approach is one of the popular heuristic methods for solving hard problems, such as the Job Shop Scheduling Problem (JSSP...