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.cc

Nombre de clusters :83
6register allocation - treewidth
39cross-learning - meta-models
7control verbs - tags
39acoustique - articulatoire
36folding - unfolding
107Abstract model - Event-driven approach
74(m - k)-firm
28remote maintenance - service integration
20raster images - relation computation
12curve parameterization - pencils of quadrics
9behavioral detection - trace
82bandwidth-minimization problems - scheduling algorithms
85automated generator of reaction mechanisms - molecular graph
149image registration - urology
119automotive - embedded electronic systems
68Firm management - Integrated management
47Mice - Mice, Inbred C57BL
132Ad hoc network - Mobile computing
96b abstract machine - class operation
11mof - wbem
28local alignment - spaced seeds
112ike - ipsec
89Female - Male
47frequency assignment problem - hybrid algorithms
136Markov decision - Uncertain system
93innermost - ordering constraint
136dialysis - diatelic
271out-of-vocabulary words - proper names
24multi-view - operator
38competitive intelligence - territorial intelligence
23eiffel - smalleiffel
48intonation - italian
26GDMO - GRM
77Applied linguistics - Computational linguistics
104enhancement - intelligibility
126Anaphora - Reference
198object-based representation - part-whole relation
44recalage - registration
63sûreté de fonctionnement - x-by-wire
177flexibility - flexibilité
23petri nets - theory of regions
48reference to objects - relevance
119formal concept analysis - pattern structures
136paramodulation - resolution
172Expert system - Knowledge base
129Automatic recognition - Speech recognition
145program synthesis - systolic architectures
38radiosity - wavelets
96Safety - Transmission protocol
179frequent level-wise itemset search - knowledge-based system
142logics - type theory
276surréduction - terminaison
137algebraic specifications - rewriting systems
132transaction - workflow
77association rules - statistical indices
52coordination - virtual enterprises
66Data mining - Knowledge discovery
279semantic concepts - speech understanding
203automates temporisés - timed automata
309FIP - fieldbus
162Document analysis - Document structure
70Semantic web - Web service
140ad hoc - multicast
146Formal method - Refinement method
70linear logic - proof nets
47geometry - problem solving
146cortex - hippocampus
171Decidability - Equational theory
221Rewriting systems - Termination problem
165cryptographic protocols - secrecy
65Makespan - Scheduling
307Information system - System architecture
73mdp - reinforcement learning
94lambda-calculus - typing
93Algorithms - Software
153Graph theory - Tree(graph)
54Intuitionistic logic - Proof theory
144adaptation - case-based reasoning
117complexity - complexité
76management - supervision
145graphics recognition - symbol recognition
265refinement - temporal logic
111software engineering - software process modeling

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