3233 search results - page 164 / 647 » Validation Method for Intelligent Systems |
156
Voted
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
When a local optimal solution is reached with classical Particle Swarm Optimization (PSO), all particles in the swarm gather around it, and escaping from this local optima becomes...
138
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
122
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
123
Voted
AAMAS
2010
Springer
15 years 3 months ago
2010
Springer
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...
149
Voted
CEC
2003
IEEE
15 years 7 months ago
2003
IEEE
AbstractSpam, the electronic equivalent of junk mail, affects over 600 million users worldwide. Even as anti-spam solutions change to limit the amount of spam sent to users, the se...