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.

Algorithme And NotDamien Jamet

List of bibliographic references

Number of relevant bibliographic references: 83.
Ident.Authors (with country if any)Title
000014 Adrien Kr Henbühl [France] ; Bertrand Kerautret [France] ; Isabelle Debled-Rennesson [France] ; Frédéric Mothe [France] ; Fleur Longuetaud [France]Knot segmentation in 3D CT images of wet wood
000015 Antoine Liutkus [France] ; Derry Fitzgerald [Irlande (pays)] ; Zafar Rafii [États-Unis] ; Bryan Pardo [États-Unis] ; Laurent Daudet [France]Kernel Additive Models for Source Separation
000021 Jean-Romain Roussel [France] ; Frédéric Mothe [France] ; Adrien Kr Henbühl [France] ; Bertrand Kerautret [France] ; Isabelle Debled-Rennesson [France] ; Fleur Longuetaud [France]Automatic knot segmentation in CT images of wet softwood logs using a tangential approach
000067 Pascal Cuxac [France] ; Jean-Charles Lamirel [France] ; Valerie Bonvallot [France]Efficient supervised and semi-supervised approaches for affiliations disambiguation
000084 Wissal Drira [Tunisie] ; Faouzi Ghorbel [Tunisie]Un estimateur de la L2-mesure de dépendance probabiliste pour la réduction de dimension vectorielle: Cas multiclasse
000091 Christophe Palmann [France] ; Sébastien Mavromatis [France] ; Jean Sequeira [France]Mesure de similarité entre sous-parties de nuages de points 2D
000101 A. Bellanger [France] ; A. Janiak [Pologne] ; M. Y. Kovalyov [Biélorussie] ; A. Oulamara [France]Scheduling an unbounded batching machine with job processing time compatibilities
000107 Salim Jouili [Belgique] ; Salvatore Tabbone [France]Hypergraph-based image retrieval for graph-based representation
000110 F. Longuetaud [France] ; F. Mothe [France] ; B. Kerautret [France] ; A. Kr Henbühl [France] ; L. Hory [France] ; J. M. Leban [France] ; I. Debled-Rennesson [France]Automatic knot detection and measurements from X-ray CT images of wood: A review and validation of an improved algorithm on softwood samples
000119 M. Takruri [Australie] ; S. Rajasegarar [Australie] ; S. Challa [Australie] ; C. Leckie [Australie] ; M. Palaniswami [Australie]Spatio-temporal modelling-based drift-aware wireless sensor networks
000168 Yannick Chevalier [France] ; Michael Rusinowitch [France]Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
000173 Abdel Belaïd [France] ; T. Moinel [France] ; Y. Rangoni [France]Improved CHAID Algorithm for Document Structure Modelling
000176 Nazih Ouwayed [France] ; Abdel Belaïd [France] ; François Auger [France]General Text Line Extraction Approach based on Locally Orientation Estimation
000190 Nicolas Ragot [France] ; Julie Fortune [France] ; Paul M'Bongo [France] ; Nicole Vincent [France] ; Hubert Cardot [France]Évaluation sur la création automatique de classes de signatures manuscrites pour l'authentification en ligne
000194 K. Bertet [France] ; M. Visani [France] ; N. Girard [France]Treillis dichotomiques et arbres de décision
000201 Réjean Plamondon [Canada] ; Moussa Djioua [Canada] ; Christian O'Reilly [Canada]La Théorie Cinématique des mouvements humains rapides: développements récents
000228 Th. Meilender [France] ; Abdel Belaïd [France]Segmentation of Continuous Document Flow by a modified Backward-Forward algorithm
000230 WEIMING DONG [France] ; NING ZHOU [République populaire de Chine] ; Jean-Claude Paul [République populaire de Chine]Robust tile-based texture synthesis using artificial immune system
000257 L. Provot [France] ; I. Debled-Rennesson [France]3D noisy discrete objects: Segmentation and application to smoothing
000271 Elias P. Tsigaridas [France] ; Ioannis Z. Emiris [Grèce]On the complexity of real root isolation using continued fractions
000275 Hervé Brönnimann [États-Unis] ; Olivier Devillers [France] ; Vida Dujmovic [Canada] ; Hazel Everett [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Hyeon-Suk Na [Corée du Sud] ; Sue Whitesides [Canada]LINES AND FREE LINE SEGMENTS TANGENT TO ARBITRARY THREE-DIMENSIONAL CONVEX POLYHEDRA
000276 Jérome Besombes [France] ; Jean-Yves Marion [France]LEARNING DISCRETE CATEGORIAL GRAMMARS FROM STRUCTURES
000298 Laurent Fousse [France]Multiple-precision correctly rounded newton-cotes quadrature
000301 Jérome Besombes [France] ; Jean-Yves Marion [France]Learning tree languages from positive examples and membership queries
000360 Sacha Krstulovic [France] ; Frédéric Bimbot [France] ; Olivier Boëffard [France] ; Delphine Charlet [France] ; Dominique Fohr [France] ; Odile Mella [France]Optimizing the coverage of a speech database through a selection of representative speaker recordings
000386 Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Expressing combinatory reduction systems derivations in the rewriting calculus
000441 Guillaume Caumon [France] ; Bruno Levy [France] ; Laurent Castanie [France] ; Jean-Claude Paul [France, République populaire de Chine]Visualization of grids conforming to geological structures : a topological approach
000565 G. Hanrot [France] ; M. Quercia ; P. ZimmermannThe middle product algorithm I. Speeding up the division and square root of power series
000571 JIAN LI [France] ; YEQIONG SONG [France] ; Francoise Simonot-Lion [France]Schedulability analysis for systems under (m,k)-firm constraints
000587 P. V. Afonine [France] ; A. Urzhumtsev [France]On a fast calculation of structure factors at a subatomic resolution
000600 P. E. Moreau [France] ; O. ZendraGC2: A generational conservative garbage collector for the ATerm library
000662 Karell Bertet [France] ; Jens Gustedt [France] ; Michel Morvan [France]Weak-order extensions of an order
000674 Imed Zitouni [France] ; Kamel Smaili [France] ; Jean-Paul Haton [France]Statistical language modeling based on variable-length sequences
000685 F. Laroussinie [France] ; Ph. Schnoebelen [France] ; M. Turuani [France]On the expressivity and complexity of quantitative branching-time temporal logics
000687 D. Martinez [France] ; A. BrayNonlinear blind source separation using kernels
000695 Laurent Bougrain [France] ; Maria Gonzalez [France] ; Vincent Bouchot [France] ; Daniel Cassard [France] ; Andor L. W. Lips [France] ; Frédéric Alexandre [France] ; Gilbert Stein [France]Knowledge recovery for continental-scale mineral exploration by neural networks
000697 Assefaw Hadish Gebremedhin [Norvège] ; Isabelle Guerin Lassous [France] ; Jens Gustedt [France] ; Jan Arne Telle [Norvège]Graph coloring on coarse grained multicomputers
000703 Roman Kolpakov [Russie] ; Gregory Kucherov [France]Finding approximate repetitions under Hamming distance
000710 B. Gaujal [France] ; N. Navet ; J. MiggeDual-priority versus background scheduling: A path-wise comparison
000712 Isabelle Debled-Rennesson [France] ; Jean-Luc Remy [France] ; Jocelyne Rouyer-Degli [France]Detection of the discrete convexity of polyominoes
000772 Khalid Daoudi [France] ; Jacques Levy Vehel [France]Signal representation and segmentation based on multifractal stationarity
000776 Johanne Cohen [France] ; Pierre Fraigniaud [France] ; Cyril Gavoille [France]Recognizing Knödel graphs
000785 Joseph Di Martino [France]On the use of high order derivatives for high performance alphabet recognition
000804 Nicolas Remy [États-Unis] ; Arben Shtuka [France] ; Bruno Levy [France] ; Jef Caers [États-Unis]GSTL: the geostatistical template library in C++
000872 Jean-Charles Lamirel [France] ; Yannick Toussaint [France] ; Claire Francois [France] ; Xavier Polanco [France]Using artificial neural networks for mapping of science and technology: Application to patents analysis
000891 Isabelle Guérin Lassous [France] ; Jens Gustedt [France]Portable List ranking: An experimental study
000892 Laurent Alonso [France] ; René Schott [France]On the tree inclusion problem
000896 Christophe Cerisara [France] ; Dominique Fohr [France]Multi-band automatic speech recognition
000904 Roman Kolpakov [France] ; Gregory Kucherov [France]Finding approximate repetitions under hamming distance
000906 Elias Dahlhaus [Allemagne] ; Jens Gustedt [France] ; Ross M. Mcconnell [États-Unis]Efficient and practical algorithms for sequential modular decomposition
000909 A. Bockmayr [France] ; F. EisenbrandCutting planes and the elementary closure in fixed dimension
000936 Jean-Paul Haton [France]Reconnaissance automatique de la parole
000954 Proof-search in Type-theoretic Languages
000959 Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]Unification algorithms cannot be combined in polynomial time
000974 D. Galmiche [France] ; D. J. Pym [Royaume-Uni]Proof-search in type-theoretic languages : an introduction
000999 C. Ringeissen [France] ; E. Monfroy [Pays-Bas]Generating propagation rules for finite domains : A mixed approach
000A07 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 D. Galmiche [France]Connection methods in linear logic and proof nets construction
000A43 F. Cuny [France] ; L. Alonso [France] ; C. Winkler [France] ; N. Holzschuch [France]Radiosité à base d'ondelettes sur des mailles quelconques
000A61 B. Gaujal [France] ; N. NavetTraffic shaping in real-time distributed systems: A low-complexity approach
000B14 Y. Laprie [France] ; M.-O. Berger [France]Un algorithme de suivi automatique de formants utilisant des connaissances de parole
000B27 F. Bertault [France] ; G. Kucherov [France]Visualization of dynamic automata using Padnon
000B51 E. Fleury [France] ; P. FraigniaudGeneral theory for deadlock avoidance in wormhole-routed networks
000B52 M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France]Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
000B72 P.-E. Moreau [France] ; H. Kirchner [France]A compiler for rewrite programs in associative-commutative theories
000B83 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
000C00 L. Alonso [France] ; J. L. Remy [France] ; R. Schott [France]Uniform generation of a Schröder tree
000C23 G. Kucherov [France] ; M. Rusinowitch [France]Matching a set of strings with variable length don’t cares
000C41 F. Ajili [France] ; E. Contejean [France]Avoiding slack variables in the solving of linear diophantine equations and inequations
000C42 J.-F. Mari [France] ; Jean-Paul Haton [France] ; A. Kriouile [France]Automatic word recognition based on second-order Hidden Markov models
000C47 L. Alonso [France] ; J. L. Remy [France] ; R. Schott [France]A linear-time algorithm for the generation of trees
000C50 E. Boyer [France] ; M.-O. Berger [France]3D surface reconstruction using occluding contours
000C82 V. Antimirov [France]Partial derivatives of regular expressions and finite automaton constructions
000C93 M. Afify [France] ; Y. Gong [France] ; Jean-Paul Haton [France]Estimation of mixtures of stochastic dynamic trajectories : application to continuous speech recognition
000C95 Y. Laprie [France] ; M. O. Berger [France]Cooperation of regularization and speech heuristics to control automatic formant tracking
000C97 N. Creignou [France] ; M. Hermann [France]Complexity of generalized satisfiability counting problems
000D00 C. Ringeissen [France]Combining decision algorithms for matching in the union of disjoint equational theories
000D24 H. Li [France] ; J. P. Haton ; J. SuShort-timed speech dynamics for speaker recognition
000D35 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
000D58 E. Domenjoud [France]AC unification through order-sorted AC1 unification
000D66 N. Doggaz ; C. KirchnerCompletion for unification
000D76 LON QUAN ; R. MohrDetermining perspective structures using hierarchical Hough transform
000D86 R. Mohr ; T. C. Henderson ; A. MackworthArc and path consistency revisited

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