InforLorV4, Istex, Curation, indexHead, AbsEn.i

Index : AbsEn.i

Les termes de plus forte occurence

3066	abstract
1645	paper
1079	these
894	results
887	system
838	new
827	systems
803	model
786	also
773	approach
752	first
714	present
697	show
696	order
671	data
660	method
640	analysis
631	study
628	different
591	process
566	problem
565	well
565	time
563	then
550	all
543	set
537	both
519	but
512	other
497	propose
483	information
479	several
473	methods
464	given
458	algorithm
455	were
425	work
424	proposed
424	properties
421	case
420	techniques
414	when
408	non
407	each
407	applications
398	only
395	models
391	general
390	than
387	most
384	application
383	design
381	problems
379	number
379	development
372	way
371	language
367	may
365	allows
362	framework
358	many
356	however
355	presented
353	provide
350	theory
346	research
344	particular
343	where
340	through
339	logic
336	main
333	terms
331	presents
325	software
325	developed
320	possible
319	over
319	knowledge
315	three
315	any
311	level
311	called
307	obtained
307	during
307	context
305	proof
303	will
300	within
299	various
298	high
298	control
296	rewriting
295	implementation
293	describe
292	large
289	support
286	important
285	very
284	algorithms
282	computer
280	them
280	structure
278	there
278	related
276	term
274	specific
274	second
272	rules
271	complete
269	linear
267	known
260	type
260	out
260	management
258	result
258	efficient
257	while
255	under
255	article
254	processes
254	formal
254	described
254	defined
252	simple
252	give
251	class
245	tools
244	environment
244	after
241	prove
241	function
241	approaches
240	types
239	same
238	real
237	programming
237	complex
235	provides
234	considered
232	state
231	thus
230	without
230	finally
227	performance
224	representation
223	shown
223	define
223	applied
221	technique
221	experimental
219	here
218	those
217	network
217	constraints
217	calculus
216	functions
216	example
216	conditions
215	tool
215	specification
215	part
213	program
210	user
210	including
209	field
209	associated
207	solution
207	compared
206	form
206	existing
205	years
205	point
205	languages
205	concept
204	complexity
201	studied
200	standard
200	cases
199	recognition
198	features
198	consider
197	examples
196	introduce
195	programs
195	procedure
195	domain
194	space
194	like
194	finite
193	basic
192	since
190	modeling
189	structures
189	means
188	evaluation
188	dynamic
187	theorem
187	decision
185	description
181	rewrite
181	notion
180	natural
180	even
180	current
179	being
178	account
177	previous
176	quality
176	often
176	classical
175	oriented
175	group
175	free
174	studies
174	semantics
174	implemented
174	describes
173	automatic
171	higher
171	aspects
170	theories
170	proving
170	allow
169	view
169	need
169	extension
169	discussed
169	available
168	provided
168	object
168	according
167	distributed
167	algebraic
166	therefore
166	interest
166	construction
165	sets
165	service
165	found
165	discuss
164	performed
162	specifications
162	size
162	experiments
162	due
162	definition
162	combination
161	small
160	local
159	designed
158	wiley
158	search
158	project
158	aim
157	test
157	respect
157	made
156	proofs
155	purpose
155	computing
155	because
154	requirements
154	equational
153	summary
153	significant
153	architecture
152	semantic
152	common
151	parameters
150	introduced
150	functional
150	concepts
149	verification
149	solving
149	services
149	issues
148	step
148	reasoning
148	parallel
148	multi
148	computational
148	computation
147	good
147	consists
146	uses
146	networks
145	basis
144	whose
144	recent
144	processing
144	could
143	useful
143	treatment
143	solutions
143	procedures
143	especially
143	develop
143	able
142	major
140	should
140	interaction
140	does
139	single
139	reduction
139	objects
139	following
139	addition
138	task
138	make
138	levels
138	improve
138	human
137	moreover
137	integration
137	groups
136	theoretical
136	role
136	obtain
136	modelling
136	low
135	termination
135	must
135	learning
134	shows
134	points
134	components
133	towards
133	strategies
133	necessary
133	equations
133	engineering
132	relation
132	multiple
132	inc
132	either
132	classes
131	variables
131	mechanism
131	graph
131	distribution
131	better
130	goal
129	rate
129	automated
127	together
127	rule
127	range
127	practical
127	observed
127	methodology
127	evolution
126	users
126	potential
126	much
126	integrated
125	values
125	required
125	providing
125	original
125	image
125	future
125	focus
124	tasks
124	strategy
124	issue
124	involved
124	french
124	extended
124	comparison
123	special
123	similar
123	line
123	key
123	communication
123	area
122	global
121	tree
121	technology
121	simulation
121	resulting
120	power
120	needs
120	less
120	efficiency
120	corresponding
120	certain
120	activity
119	understanding
119	aims
118	illustrate
118	generic
118	behaviour
118	behavior
118	appropriate
117	total
117	mechanisms
117	four
117	effective
116	property
116	further
116	explicit
116	criteria
115	effects
115	constraint
114	patterns
114	input
114	elements
113	who
113	transformation
113	resources
113	proved
113	patients
113	open
112	still
112	dimensional
112	characteristics
112	activities
111	works
111	requires
111	partial
111	interpretation
111	few
111	end
110	objective
110	leads
110	gives
110	execution
110	environments
109	polynomial
109	making
109	critical
109	clinical
108	increase
108	had
108	carried
108	building
107	review
107	relevant
107	optimal
107	long
107	compute
106	recently
106	initial
106	generated
106	address
105	web
105	version
105	pattern
105	matching
105	idea
105	effect
105	completeness
105	combining
104	whether
104	via
104	strong
104	protocol
104	now
104	help
104	detection
104	derived
104	changes
103	rather
103	periodicals
103	hand
103	evaluate
103	deal
103	correct
102	sequence
102	phase
102	ones
102	last
102	etc
102	early
101	mathematical
101	mainly
101	logical
101	kind
101	factors
101	change
100	unification
100	relations
100	particularly
100	normal
100	investigate
100	having
100	every
100	build
99	text
99	survey
99	speech
99	security
99	individual
99	generation
99	access
98	protocols
98	operators
98	lower
98	images
98	fact

Manipulations en shell (Unix/Dilib)

HfdCat /Users/jacquesducloy/Documents/WicriRoot/Wicri/Europe/France/Lorraine/explor/InforLor.storage/InforLorV4/Data/Istex/Curation/AbsEn.i.hfd| SxmlCut idx/l | grep ...

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

	Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Istex) Index « AbsEn.i » - tête de navigation
	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.

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Istex)Index « AbsEn.i » - tête de navigation

Index : AbsEn.i

Les termes de plus forte occurence

Manipulations en shell (Unix/Dilib)

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Istex)

Index « AbsEn.i » - tête de navigation