ScaleSem: model checking et web sémantique - HAL Thèses

The N.C. Department of Transportation (NCDOT) has initiated the planning and construction of roadway improvement projects in the mountain region of western ...







Extraction de liens sémantiques entre termes à partir de corpus de ...
... (construction permanente) ou mobile (construction temporaire), en dehors du ... Sperberg ( 1996) considère l'aspect normatif associé au rôle des acteurs ...
Employment of the Engineer System in Light Contingency ... - DTIC
Les systèmes d'information produisent différents types de journaux d'événements. Les données historiques contenues dans les journaux d'événements peuvent ...
Etude et Evaluation d'Approches Multiples d'Expansion de ...
(Bray & Sperberg-Mc Queen, 1996) BRAY T. & SPERBERG-MC QUEEN CM. (1996) Extensible Markup. Language (XML), W3C Working Draft, WD-xml-961114 ...



Autres Cours:

Generic Traversal over Typed Source Code Representations - CWI