TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Attribute reduction of an information system is a key problem in rough set theory and its applications. Using computational intelligence (CI) tools to solve such problems has rece...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Abstract We demonstrate a SIMD C++ genetic programming system on a single 128 node parallel nVidia GeForce 8800 GTX GPU under RapidMind's GPGPU Linux software by predicting te...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Face recognition from an image or video sequences is emerging as an active research area with numerous commercial and law enforcement applications. In this paper different Pseudo 2...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
We introduce a new method for data clustering based on a particular Gaussian mixture model (GMM). Each cluster of data, modeled as a GMM into an input space, is interpreted as a hy...