Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Les clusters : KwdEn.cf

Nombre de clusters :67
322rewriting - termination
391(m - k)-firm
377Firm management - Integrated management
183Image processing - Pattern recognition
150Speech processing - Speech recognition
82Computational linguistics - Natural language processing
131Humans - Male
299adaptation - case-based reasoning
412acoustic-phonetic decoding - speech recognition
288Computer theory - Rewriting systems
61Multiagent system - Markov decision
229expert system - image database
153b - uml
167Formal specification - Software development
241Expert system - Knowledge base
238document analysis - graphics recognition
110articulatory - inversion
86Internet - World wide web
111Cryptography - Transmission protocol
62ordering constraint - local strategy
119formal concept analysis - pattern structures
156FIP - fieldbus
94matching - lambda-calculus
117algorithm - complexity
385refinement - verification
96computer vision - stereovision
159transaction - workflow
143security - sécurité
133linear logic - proof nets
62genetic algorithms - flexibility
36folding - unfolding
94artificial neural networks - connectionism
90real time - timed automata
318radiosity - wavelets
102embedded systems - modelling
23eiffel - smalleiffel
44augmented reality - registration
42Web service - Semantic web
130Event-B - Formal methods
66Data mining - Knowledge discovery
151completion - theorem proving
88Scheduling - Task scheduling
120Algorithm - Graph theory
174paramodulation - resolution
73mdp - reinforcement learning
20galois connection - topological relations
63dependability - x-by-wire
46decision-maker - economic intelligence
133database - software engineering
26GDMO - OSI
112network management - network monitoring
42memory management - optimization
85learning - memory
48italian - prosody
47geometry - problem solving
26association rule - knowledge-based system
23petri nets - supervisory control
20program synthesis - systolic architectures
24multi-view - operator
68inheritance - object-oriented programming
12curve parameterization - quadrics
11cim - wbem
7semantic construction - tags
6register allocation - treewidth
48reference - relevance
11heuristics - scheduling algorithms
9formal language - trace

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022