Bibliography

Overview

Tree

Domains

Index

Bibliography

PREV NEXT

FRAMES NO FRAME

&-1 2 3 4 5 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W Z

F

Fall

in: Liles S., Watsen K. and Zyda M.
"Dynamic Discovery of Simulation Entities Using Bamboo and HLA" (1998)

FAPR-2000

in: Woolridge M. and Lomuscio A.
"A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results" (2000)

Fast

in: Kuffner J.J. and Latombe J.C.
"Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans" (1999)

Ferber J.

in: Michel F., Gutknecht O. and Ferber J.
"Une méthodologie pour la conception de simulateur multi-agents basée sur l'organisation" (2001)

Fiabilité

in: Roques C., Bustany F. and Sabatier D.
"Les apports de la preuve en B" (1996)

Fire

in: Querrec R., Reignier P. and Chevaillier P.
"Humans and Autonomous Agents Interactions in a Virtual Environment for fire fighting Training" (2001)

Flocks

in: Reynolds C.W.
"flocks, Herds, and Schools: A Distributed Behavioral Model" (1987)

Floue

in: Parenthoën M., Tisseau J. and Morineau T.
"Perception Active pour Acteurs Virtuels" (2002)

Formal

in: Gruer P., Hilaire V., Koukam A. and Rovarini P.
"Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification" (2004)
in: Gruer P., Hilaire V., Koukam A. and Cetnarowicz K.
"A formal framework for multi-agent systems analysis and design" (2002)
in: Hilaire V., Koukam A., Gruer P. and Müller J.P.
"Formal Specification and Prototyping of Multi-agent Systems" (2001)
in: Woolridge M. and Lomuscio A.
"A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results" (2000)

Formelle

in: Hilaire V., Koukam A., Gruer P. and Müller J.P.
"Vers une méthodologie formelle de spécification de Systèmes Multi-Agents" (2001)

Foundations

in: Nagel K.
"Distributed intelligence in large scale traffic simulations on parallel computers" (2002)

Framework

in: Gruer P., Hilaire V., Koukam A. and Cetnarowicz K.
"A formal framework for multi-agent systems analysis and design" (2002)

Francophones

in: Parenthoën M., Tisseau J. and Morineau T.
"Perception Active pour Acteurs Virtuels" (2002)

Fundamental

in: Gruer P., Hilaire V. and Koukam A.
"Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem" (2000)

FUZZ-IEEE

in: Parenthoën M., Reignier P. and Tisseau J.
"Put Fuzzy Cognitive Maps to Work in Virtual Worlds" (2001)

Fuzzy