Search
Now showing items 51-60 of 91
An iterative rating method: application to web-based conference management.
(2004) Communication / Conférence
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.
(2004) Communication / Conférence
Modelling Web Services Interoperability.
(2004) Communication / Conférence
Novel Approaches in Text Information Retrieval: Experiments in the Web Track of TREC 2004
(2004) Communication / Conférence
Multiple Criteria Districting Problems, Models, Algorithms, and Applications: The Public Transportation Paris Region Pricing System.
(2004) Document de travail / Working paper
Bicolored matchings in some classes of graphs.
(2004) Article accepté pour publication ou publié
An Alternative proof of SAT NP-Completeness
(2004) Document de travail / Working paper
Towards a typology of spatial decision problems.
(2004) Document de travail / Working paper
Towards a Spatial Decision Support System: Multi-Criteria Evaluation Functions Inside Geographical Information Systems.
(2004) Document de travail / Working paper
De nouvelles réductions colorées pour la validation de logiciels.
(2004) Article accepté pour publication ou publié