Algebraic topology < Algorithm < Algorithm analysis

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

Number of relevant bibliographic references: 65.
[40-60] [0 - 20][0 - 50][60-64][60-80]

Ident.	Authors (with country if any)	Title
000936 (2000)	Jean-Paul Haton [France]	Reconnaissance automatique de la parole
000954 (2000)		Proof-search in Type-theoretic Languages
000959 (2000)	Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]	Unification algorithms cannot be combined in polynomial time
000974 (2000)	D. Galmiche [France] ; D. J. Pym [Royaume-Uni]	Proof-search in type-theoretic languages : an introduction
000A07 (2000)	Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël]	Effective synthesis of switching controllers for linear systems
000A16 (2000)	D. Galmiche [France]	Connection methods in linear logic and proof nets construction
000A43 (1999)	F. Cuny [France] ; L. Alonso [France] ; C. Winkler [France] ; N. Holzschuch [France]	Radiosité à base d'ondelettes sur des mailles quelconques
000B14 (1998)	Y. Laprie [France] ; M.-O. Berger [France]	Un algorithme de suivi automatique de formants utilisant des connaissances de parole
000B27 (1998)	F. Bertault [France] ; G. Kucherov [France]	Visualization of dynamic automata using Padnon
000B52 (1998)	M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France]	Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
000B72 (1998)	P.-E. Moreau [France] ; H. Kirchner [France]	A compiler for rewrite programs in associative-commutative theories
000B83 (1997)	I. Buchheit [France] ; P. Aletti [France] ; S. Elles [France] ; L. Malissard [France] ; P. Bey [France] ; M. P. Chouvet [France]	Optimisation de la balistique d'irradiation des cancers du cavum : association d'un système-expert et d'un algorithme mathématique
000C23 (1997)	G. Kucherov [France] ; M. Rusinowitch [France]	Matching a set of strings with variable length don’t cares
000C41 (1997)	F. Ajili [France] ; E. Contejean [France]	Avoiding slack variables in the solving of linear diophantine equations and inequations
000C42 (1997)	J.-F. Mari [France] ; Jean-Paul Haton [France] ; A. Kriouile [France]	Automatic word recognition based on second-order Hidden Markov models
000C47 (1997)	L. Alonso [France] ; J. L. Remy [France] ; R. Schott [France]	A linear-time algorithm for the generation of trees
000C50 (1997)	E. Boyer [France] ; M.-O. Berger [France]	3D surface reconstruction using occluding contours
000C82 (1996)	V. Antimirov [France]	Partial derivatives of regular expressions and finite automaton constructions
000C93 (1996)	M. Afify [France] ; Y. Gong [France] ; Jean-Paul Haton [France]	Estimation of mixtures of stochastic dynamic trajectories : application to continuous speech recognition
000C95 (1996)	Y. Laprie [France] ; M. O. Berger [France]	Cooperation of regularization and speech heuristics to control automatic formant tracking
000D35 (1994)	C. Cardeira [France] ; Z. Mammeri [France]	Ordonnancement de tâches dans les systèmes temps réel et répartis. Algorithmes et critères de classification

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i -k "Algorithm" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Algorithm" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Algorithm
}}

---

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