Information Technology Reference
In-Depth Information
[MON 96] M
ONIN
J.-F.,
Comprendre les méthodes formelles
, Masson, 1996.
[NAV 05] N
AVA R R E
D., P
ALANQUE
P. , B
ASTIDE
R., S
CHYN
A., W
INCKLER
M., N
EDEL
L.
and F
REITAS
C., “A formal description of multimodal interaction techniques for immersive
virtual reality applications”,
INTERACT 2005
, Rome, Italy, Lecture Notes in Computer
Science, Springer-Verlag, pp. 25-28, September 2005.
[NED 03] N
EDEL
L.P., F
REITAS
C., J
ACOB
L. and P
IMENTA
M., “Testing the use of
egocentric interactive techniques in immersive virtual environments”,
INTERACT 2003 -
Ninth IFIP TC13 International Conference on Human-Computer
, IOS Press, pp. 471-478,
2003.
[NIG 94] N
IGAY
L., Conception et modélisation logicielle des Systèmes interactifs :
application aux interfaces multimodales, PhD thesis, Joseph Fourier University, Grenoble,
1994.
[NIG 96] N
IGAY
L. and C
OUTAZ
J., “Espaces conceptuels pour l'interaction multimédia
et multimodale”,
Technique et Science Informatiques, Spécial Multimédia et Collecticiel
,
vol. 15, no. 9, pp. 1195-1225, 1996.
[PAL 03] P
ALANQUE
P. and S
CHYN
A., “A model-based for engineering multimodal
interactive systems”,
9th IFIP TC13 International Conference on Human Computer
Interaction (Interact'2003)
, 2003.
[PAU 93] P
AULSON
L.C., The Isabelle reference manual, Report, University of Cambridge,
Computer Laboratory, 1993.
[PLO 81] P
LOTKIN
G., A structural approach to operational semantics, Report, Department of
Computer Science, University of Aarhus DAIMI FN 19, 1981.
[PNU 77] P
NUELI
A., “The temporal logic of programs”,
FOCS
, 1977.
[REI 03] R
EITHINGER
N., A
LEXANDERSSON
J., B
ECKER
T., B
LOCHER
A., E
NGEL
R.,
L
ÖCKELT
M., M
ÜLLER
J., P
FLEGER
N., P
OLLER
P. , S
TREIT
M. and T
SCHERNOMAS
V. ,
“SmartKom: adaptive and flexible multimodal access to multiple applications”,
ICMI'03
,
Vancouver, British Columbia, Canada, pp. 101-108, November 2003.
[ROU 06] R
OUSSEAU
C., Présentation multimodale et contextuelle de l'information, PhD
thesis, University of Paris sud XI-Orsay, 2006.
[SCH 03] S
CHYN
A., N
AVA R R E
D., P
ALANQUE
P. and N
EDEL
L.P., “Description formelle
d'une technique d'interaction multimodale dans une application de réalité virtuelle
immersive”,
Proceedings of the 15th French Speaking conference on Human-Computer
Interaction (IHM'03)
, Caen, France, pp. 25-28, November 2003.
[SPI 88]
S
PIVEY
J.,
The Z Notation: A Reference Manual
, Prentice Hall Int., 1988.
[STO 93] S
TOCK
O., “ALFRESCO: enjoying the combination of natural language
processing and hypermedia for information exploration”,
Intelligent Multimedia Interfaces
,
pp. 197-224, American Association for Artificial Intelligence, Menlo Park, CA, USA, 1993.