Search results for "RIVF"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Thanh Phuong Nguyen, Ngoc Binh Nguyen	A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA).	RIVF	2004	DBLP BibTeX RDF
1	Duc-Nghia Nguyen, Phan-Thuan Do	Genetic Algorithm for Optimization of a Quadratic Function with Circular Matrix Problem.	RIVF	2004	DBLP BibTeX RDF
1	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.	RIVF	2004	DBLP BibTeX RDF
1	Arnab Nilim, Laurent El Ghaoui, Vu Duong	Algorithms for Multi-Aircraft Re-Routing Under Uncertainties.	RIVF	2004	DBLP BibTeX RDF
1	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.	RIVF	2004	DBLP BibTeX RDF
1	Tuan-Anh Duong, Kim-Hoa Lam	Combining Constraint Programming and Simulated Annealing on University Exam Timetabling.	RIVF	2004	DBLP BibTeX RDF
1	Thanh-Nghi Do, François Poulet	SVM incrémental pour l'analyse d'expressions de gènes.	RIVF	2004	DBLP BibTeX RDF
1	Cao De Tran, Ghislain Lévesque, Jean Guy Meunier	Software Functional Complexity Measurement with the Task Complexity Approach.	RIVF	2004	DBLP BibTeX RDF
1	Thi Minh Luan Nguyen, Christophe Lecerf	An Agent-Based Simulation Method For Studying Nervous System.	RIVF	2004	DBLP BibTeX RDF
1	Thanh Son Nguyen, Erika Mata Sanchez	Un système d'enseignement à distance basé sur un réseau peer-to-peer.	RIVF	2004	DBLP BibTeX RDF
1	Thi-Lan-Anh Dinh, Olivier Gerbé	A Metamodel for Knowledge Management.	RIVF	2004	DBLP BibTeX RDF
1	Thanh-Nghi Do, François Poulet	Fouille de textes avec proximal support vector machines.	RIVF	2003	DBLP BibTeX RDF
1	Minh Nguyen-Duc, Vu Duong, Jean-Pierre Briot, Alexis Drogoul	Multi-Agent coordination techniques applied to Air Traffic Control.	RIVF	2003	DBLP BibTeX RDF
1	Thi Tuyet Loan Pham	Optimisation and Survivability of Telecommunication Networks.	RIVF	2003	DBLP BibTeX RDF
1	Christophe Lecerf, Thi Minh Luan Nguyen	Complex Systems Modeling.	RIVF	2003	DBLP BibTeX RDF
1	Simone Sédillot, S. Cao Kim	Profile Data Management for Telecom Services.	RIVF	2003	DBLP BibTeX RDF
1	Nhat Linh Doan, Dritan Nace	Calcul de Routages Equitables dans les Réseaux Internet.	RIVF	2003	DBLP BibTeX RDF
1	Huynh Quyet Thang, Phung Hiep Hoang, Minh Duc Duong	Quy Trinh Phat Trien Phan Mem BKSPD Cho Du An Vua va Nho.	RIVF	2003	DBLP BibTeX RDF
1	Duc-Duy Vo	Analysis of program based on Synchronous Active Objects.	RIVF	2003	DBLP BibTeX RDF
1	Phuong-Quynh Duong, Elizabeth Pérez Cortés, Christine Collet	Adaptable Fault Tolerance Requirements on Component Models.	RIVF	2003	DBLP BibTeX RDF
1	Thi Mai Trang Nguyen, Guy Pujolle, Nadia Boukhatem, Dominique Gaïti	Contrôle des réseaux IP fixes et Mobiles.	RIVF	2003	DBLP BibTeX RDF
1	Thanh Ha Dang, Dinh Khang Tran	Une Approche d'Extension des Définitions de Dépendance de Données.	RIVF	2003	DBLP BibTeX RDF
1	H. Tran Viet	Gestion de la Mobilité dans l'ORB Flexible Jonathan.	RIVF	2003	DBLP BibTeX RDF
1	Si Hoàng Do, Marc Bui, Paul Kopff	A Based-On Agent Framework For Home Networking.	RIVF	2003	DBLP BibTeX RDF
1	De Cao Tran, Kinji Ono	Content-Based Image Retrieval: Object representation by the Density of Feature Points.	RIVF	2003	DBLP BibTeX RDF
1	Nguyen Thong Dang	3d Interaction In Immersive Virtual Environment For Air Traffic Controller.	RIVF	2003	DBLP BibTeX RDF
1	Duong Hieu Phan, David Pointcheval	Une comparaison entre deux méthodes de preuve de sécurité.	RIVF	2003	DBLP BibTeX RDF
1	Thanh Son Nguyen	MC - Marché de connaissances.	RIVF	2003	DBLP BibTeX RDF
1	Ha Le-Hong	Immersive Virtual Environment Technologies and Applications in Air Traffic Management.	RIVF	2003	DBLP BibTeX RDF
1	Jean-Marie Garcia, Le Ha Duc, David Gauchard, Olivier Brun	Modélisation Analytique Du Protocole Tcp New Reno Et Etude Comparative Avec Le Simulateur Ns (Network Simulator).	RIVF	2003	DBLP BibTeX RDF
1	Van Tuyet Dao, Van Lang Tran	Multiagent Model and the preditive problem solving.	RIVF	2003	DBLP BibTeX RDF
1	Tuyet-Trinh Vu, Christine Collet	Query Brokers for Distributed and Flexible Query Evaluation.	RIVF	2003	DBLP BibTeX RDF
1	Hanh Nhi Tran, Bernard Coulette, Xavier Crégut, Dong Thi Bich Thuy, Tran Dan Thu	Modélisation du Méta-Procédé Rhodes Avec SPEM.	RIVF	2003	DBLP BibTeX RDF
1	Ta Tuan Anh	Une Navigation Par "Itineraires" Dans Un Web Communautaire.	RIVF	2003	DBLP BibTeX RDF
1	Huy Trandac, Philippe Baptiste, Vu Duong	Airspace Sectorization By Constraint Programming.	RIVF	2003	DBLP BibTeX RDF
1	Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou	Sûreté de Service des Composants.	RIVF	2003	DBLP BibTeX RDF
1	Huy-Hoang Nguyen	Survey of Co-ordination of En Route Air Traffic Conflicts Resolution Modelling Methods.	RIVF	2003	DBLP BibTeX RDF
1	Thanh Ha Dang	Ve Phep Tach va Phep Ket Noi trong Quan He co Thuoc Tinh Mo.	RIVF	2003	DBLP BibTeX RDF
1		Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, RIVF'03, Hanoi, Vietnam, 10-13 Février, 2003	RIVF	2003	DBLP BibTeX RDF
1	Minh Phung Bui Thi	Structuration Sémantique des Contenus de la Vidéo.	RIVF	2003	DBLP BibTeX RDF
1	Jean Caelen, Ngoc-Hoa Nguyen	Vers Une Architecture Generique De Systeme De Dialogue Homme-Machine.	RIVF	2003	DBLP BibTeX RDF
1	Thi Viet Nga Nguyen, François Irigoin	Advanced Program Analyses and Verifications.	RIVF	2003	DBLP BibTeX RDF
1	Trung Ha Quoc	Recursions Removal in Fast Matrix Multiplication without Stacks.	RIVF	2003	DBLP BibTeX RDF
1	Bernard Moreau	Maîtrise de la Qualité Logicielle au Centre de Recherche du Groupe France Télécom.	RIVF	2003	DBLP BibTeX RDF
1	Sylvie Delaët, Duy-So Nguyen, Sébastien Tixeuil	Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet.	RIVF	2003	DBLP BibTeX RDF
1	Dinh-Thue Nguyen	Determining of Translation and Rotation of an Object from It's Radon Transform via Neural Network.	RIVF	2003	DBLP BibTeX RDF
1	Thuy Lien Pham, Marc Bui, Michel Lamure	Overview of Game Theory and Using to model the Knowledge of multi-agent system.	RIVF	2003	DBLP BibTeX RDF
1	Thi Thanh Hai, Augustin Lux	Extraction de Caractéristiques Locales: Crêtes et Pics.	RIVF	2003	DBLP BibTeX RDF
1	Prométhée Spathis, Kim Loan Thai	MAF: Un Protocole de Multicast Fiable.	RIVF	2003	DBLP BibTeX RDF
1	Cyril Briand, Hoang Trung La	Une Procédure Par Séparation Et Évaluation Progressive Pour l'Ordonnancement Robuste De Problèmes À Une Machine.	RIVF	2003	DBLP BibTeX RDF
1	Huy-Vu Do, Nguyen Thanh Binh 0002, Chantal Robach, Michel Delaunay	Analyse de la Testabilité des Logiciels Flots de Données Synchrones.	RIVF	2003	DBLP BibTeX RDF

Publications at "RIVF"( http://dblp.L3S.de/Venues/RIVF )