Works matching IS 09217126 AND DT 2011 AND VI 24 AND IP 3

Results: 7

LTL model-checking for security protocols.

Published in:

AI Communications, 2011, v. 24, n. 3, p. 281, doi. 10.3233/aic-2010-0489

By:

Carbone, Roberto

Publication type:

Article

Efficient model building in competent genetic algorithms using DSM clustering.

Published in:

AI Communications, 2011, v. 24, n. 3, p. 213, doi. 10.3233/aic-2011-0498

By:

Nikanjam, Amin;
Sharifi, Hadi;
Rahmani, Adel T.

Publication type:

Article

Ontology-based semantic clustering.

Published in:

AI Communications, 2011, v. 24, n. 3, p. 291, doi. 10.3233/aic-2011-0501

By:

Batet, Montserrat

Publication type:

Article

Open issues for normative multi-agent systems.

Published in:

AI Communications, 2011, v. 24, n. 3, p. 233, doi. 10.3233/aic-2011-0502

By:

Criado, N.;
Argente, E.;
Botti, V.

Publication type:

Article

Toward a social web of intelligent things.

Published in:

AI Communications, 2011, v. 24, n. 3, p. 265, doi. 10.3233/aic-2011-0503

By:

Console, Luca;
Lombardi, Ilaria;
Picardi, Claudia;
Simeoni, Rossana

Publication type:

Article

Building cost-sensitive decision trees for medical applications.

Published in:

AI Communications, 2011, v. 24, n. 3, p. 285, doi. 10.3233/aic-2011-0490

By:

Freitas, Alberto

Publication type:

Article

Exploiting multidimensional data for web site automation.

Published in:

AI Communications, 2011, v. 24, n. 3, p. 289, doi. 10.3233/aic-2011-0499

By:

Domingues, Marcos Aurélio

Publication type:

Article