
Appling Bounded Model Checking to Verifying Web Navigation Model.- A Metri-Based Approach for Anti-Pattern Detection in UML Designs.- A Novel Feature Extraction for Facial Expresion Recognition Via Combining the Curvelet and LDP.- Constructing Maximum-Lifetime Data Gathering...

The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence - quickly and with a high quality. The intent is to cover the theory, applications, and design methods of computational intelligence,...