Accueil
Consultation
Par sous-collection (équipes du LINA)
Par équipe de recherche
Liste par année
Liste par type de document
Liste par auteur du laboratoire
Liste des articles
Liste par domaine
Derniers dépôts
Rechercher
Services
Créer une page web
Export d'une liste de publications
Site du LINA
835 articles – 1515 Notices
[english version]
.:.
Consultation
>
Liste par année
> 2002 .:.
29 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
-
3
Another View on Static Access Control for a Better Understanding and Use
Ardourel G., Marianne H.
Journal of Object Technology
1
, 5 (2002) pp. 95-116 [hal-00482438 - version 1]
Sources d'informations et de connaissances : de la gestion locale à la recherche distribuée
Lamarre P., Jacquin C., Desmontils E., Cazalens S.
L'Objet, logiciel, base de données, réseaux (RSTI série)
8
, 4 (2002) 47-69 [hal-00450282 - version 1]
COINS: a constraint-based interactive solving system
Ouis S., Jussien N., Boizumault P.
[hal-00138266 - version 1] (24/03/2007)
Local search with constraint propagation and conflict-based heuristics
Jussien N., Lhomme O.
Artificial Intelligence
139
, 1 (2002) 21-45 [hal-00312750 - version 1]
Explanation-based repair techniques for solving dynamic scheduling problems
Elkhyari A., Gueret C., Jussien N.
AIPS'02 (Sixth International Conference on AI Planning & Scheduling)
, France (2002) [hal-00363202 - version 1]
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS
Attiogbe J. C.
Dans
Formal Methods and Software Engineering
-
4th International Conference on Formal Engineering Methods, ICFEM'2002
, Chine (2002) [hal-00421160 - version 1]
Indexing a Web Site with a Terminology Oriented Ontology
Desmontils E., Jacquin C.
Dans
The Emerging Semantic Web
(2002) 181-197 [hal-00816791 - version 1]
Automated Multimedia Diaries of Mobile Device Users Need Summarization
Gelgon M.
Dans
Proc. of 4th Mobile HCI'2002 Int . Symposium
-
Mobile HCI'2002
, Italie (2002) [hal-00677296 - version 1]
The Adaptive Search Method for Constraint Solving and its application to musical CSPs
Codognet P., Diaz D., Truchet C.
Dans
International Workshop on Heuristics
-
International Workshop on Heuristics
, Chine (2002) [hal-00668300 - version 1]
Multiple Criteria Optimization: State of the Art Annotated Bibliographic Surveys
Ehrgott M., Gandibleux X.
(2002) 520 [hal-00470381 - version 1]