2. RIVF 2004: Hanoi, Vietnam

• Nicolas Archambault, Géraud Granger, Nicolas Durand:
  Heuristiques d'ordonnancement pour une résolution embarquée de conflits aériens par une méthode séquentielle. 1-6
  Electronic Edition (link) BibTeX
• Dac-Huy Tran, Philippe Baptiste, Vu Duong:
  From Sets to Geometrical Sectors in the Airspace Sectorization Problem. 7-10
  Electronic Edition (link) BibTeX
• Devan Sohier, Marc Bui, Vu Duong:
  Towards an Algortihm to Compute Safe Aircraft Trajectories. 11-14
  Electronic Edition (link) BibTeX
• Nhat Linh Doan, Vu Duong, Dritan Nace:
  The Air-Route Network Design Problem. 15-20
  Electronic Edition (link) BibTeX
• Arnab Nilim, Laurent El Ghaoui, Vu Duong:
  Algorithms for Multi-Aircraft Re-Routing Under Uncertainties. 21-32
  Electronic Edition (link) BibTeX
• Duc-Minh Nguyen, Alexis Drogoul, Vu Duong:
  Conception d'un simulateur multi agents pour la gestion du trafic aérien. 33-40
  Electronic Edition (link) BibTeX
• Monica Tavanti, Nguyen Thong Dang, Hong-Ha Le:
  Usability Inspection of a 3D Interaction Metaphor. 41-46
  Electronic Edition (link) BibTeX
• Minh-Quang Vu, Laurent Besacier, Eric Castelli, Brigitte Bigi, Hervé Blanchon:
  Interchange Format-based Language Model for Automatic Speech Recognition in Speech-to-Speech Translation. 47-50
  Electronic Edition (link) BibTeX
• Tung-Lam Le, Thi-Hoang-Lan Nguyen:
  Digital Image Watermarking with Geometric Distortion Correction using the Moment Image Theory. 51-56
  Electronic Edition (link) BibTeX
• Thi-Thanh-Hai Tran, Augustin Lux:
  Suivi a base des crêtes d'objets mobiles dans une séquence vidéo. 57-60
  Electronic Edition (link) BibTeX
• Thanh-Phuong Nguyen, Thi-Hoang-Lan Nguyen:
  Une solution de vérification de visage basée sur l'extraction des caractéristiques de type pic et crêtes de l'image. 61-66
  Electronic Edition (link) BibTeX
• Van-Bao Ly, R. Blouet, Stéphane Renouard, Sonia Garcia-Salicetti, Bernadette Dorizzi, Gérard Chollet:
  Vérification de l'identité par des données biométriques. 67-72
  Electronic Edition (link) BibTeX
• Thi-Thu-Thao Phan, Hoang-Tru Cao:
  A Top-Down Method for Program Plagiarism Detecting System. 73-76
  Electronic Edition (link) BibTeX
• Cao-De Tran, Ghislain Lévesque, Jean Guy Meunier:
  Software Functional Complexity Measurement with the Task Complexity Approach. 77-86
  Electronic Edition (link) BibTeX
• Thanh-Phuong Nguyen, Ngoc Binh Nguyen:
  A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA). 87-98
  Electronic Edition (link) BibTeX
• Duy-Tai Nguyen, Tien-Dung Le:
  UML tool for multi-user. 87-98
  Electronic Edition (link) BibTeX
• Minh-Thang Khuu:
  Génération du Simulator Stochastique à Partir de la Description du Système. 103-106
  Electronic Edition (link) BibTeX
• Thi-Lan-Anh Dinh, Olivier Gerbé:
  A Metamodel for Knowledge Management. 107-112
  Electronic Edition (link) BibTeX
• Evariste Valéry Bévo Wandji, Ghislain Lévesque, Jean Guy Meunier:
  Toward an ontological formalisation for a software functional size measurement method's application process: The FPA case. 113-118
  Electronic Edition (link) BibTeX
• Thanh Tra Luu, Nadia Boukhatem:
  A Generic Signaling Architecture for End-to-End Signaling. 119-124
  Electronic Edition (link) BibTeX
• Viet Minh Nhat Vo, Omar Cherkaoui:
  Traffic Switching Optimization on Optical Routing by using Hopfield Network. 125-130
  Electronic Edition (link) BibTeX
• Thanh Son Nguyen, Erika Mata Sanchez:
  Un système d'enseignement à distance basé sur un réseau peer-to-peer. 131-136
  Electronic Edition (link) BibTeX
• Huy-Hoang Pham:
  B2B with Toshiba Web Service Gateway. 137-142
  Electronic Edition (link) BibTeX
• David Massart, Le Tien Dung:
  Federated Search of Learning Object Repositories: the CeLeBraTe Approach. 143-146
  Electronic Edition (link) BibTeX
• Emmanuel Chailloux, Raphaël Montelatici, Bruno Pagano:
  CamIL: Un compilateur Objective Caml vers .NET. 147-152
  Electronic Edition (link) BibTeX
• Kim Khoa Nguyen, Brigitte Kerhervé, Brigitte Jaumard:
  Modélisation et transformation d'informations de QdS: une revue de littérature. 153-158
  Electronic Edition (link) BibTeX
• Viet Thang Pham, Laurent Magnin, Houari A. Sahraoui:
  Adaptation dynamique des systèmes multi-agents basée sur le concept de méta-CATN. 159-164
  Electronic Edition (link) BibTeX
• Si Hoàng Do, Thuy Lien Pham:
  The comfort system based-on agent framework and smart lighting controlling application. 165-168
  Electronic Edition (link) BibTeX
• Thi Minh Luan Nguyen, Christophe Lecerf:
  An Agent-Based Simulation Method For Studying Nervous System. 169-174
  Electronic Edition (link) BibTeX
• Trung-Hung Vo:
  Construction d'un outil pour identifier et segmenter automatiquement un texte hétérogène en zones homogènes. 175-178
  Electronic Edition (link) BibTeX
• Bao-Quoc Ho, Jean-Pierre Chevallet, Marie-France Bruandet:
  Recherche d'Information Bilingue français - vietnamienne. 179-186
  Electronic Edition (link) BibTeX
• Van-Noi Nguyen, Hoang-Cao Tru:
  Annotated Linguistic Logic Programs for Soft Computing. 187-192
  Electronic Edition (link) BibTeX
• Ngoc-Diep Ho, Cédrick Fairon:
  Lexical Similarity Based On Quantity Of Information Exchanged - Synonym Extraction. 193-198
  Electronic Edition (link) BibTeX
• Van Tuyet Dao, Van-Long Do:
  Cau Truc Feature Va Hinh Thuc PART II, Mot Cach Tiep Can Nghien Cuu Và Xu Ly Ngon Ngu Tieng Viet Co Hieu Qua. 199-204
  Electronic Edition (link) BibTeX
• Tuan-Anh Duong, Kim-Hoa Lam:
  Combining Constraint Programming and Simulated Annealing on University Exam Timetabling. 205-210
  Electronic Edition (link) BibTeX
• Ivan Lavallée, Marc Bui, Trung Ha Quoc:
  An Efficient APSP Algorithm. 211-214
  Electronic Edition (link) BibTeX
• Thanh-Nghi Do, François Poulet:
  SVM incrémental pour l'analyse d'expressions de gènes. 215-220
  Electronic Edition (link) BibTeX
• Duc-Nghia Nguyen, Phan-Thuan Do:
  Genetic Algorithm for Optimization of a Quadratic Function with Circular Matrix Problem. 221-226
  Electronic Edition (link) BibTeX