Skip to Main content Skip to Navigation


...
hal-01893012v1  Conference papers
Isabelle Gnaedig. Termination of Order-sorted Rewriting
ALP 1992 - 3rd International Conference on Algebraic and Logic Programming, Sep 1992, Volterra, Italy. pp.37 - 52, ⟨10.1007/bfb0013818⟩
...
hal-01112891v1  Conference papers
Kamel SmaïliFrançois CharpilletJean-Paul Haton. A new algorithm for Automatic Word Classification based on an Improved Simulated Annealing Technique
The 5th International Conference on the Cognitive Science of Natural Language Processing, 1996, Dublin, Ireland
...
hal-01098490v1  Conference papers
François CharpilletAnne Boyer. Composing and Monitoring Non Deterministic Design-to-time Methods
AAAI Fall Symposium on Flexible Computation in Intelligent Systems, Nov 1996, Boston, United States
...
hal-01112900v1  Conference papers
Dominique FohrJ.-P HatonJean-François MariKamel SmaïliImed Zitouni. Towards an oral interface for data entry: The MAUD System
European Research Consortium for Informatics and Mathematics User Interfaces for AII, 1997, Nancy, France
hal-01112905v1  Conference papers
Kamel SmaïliImed ZitouniFrançois CharpilletJean-Paul Haton. An Hybrid Language Model for a Continuous Dictation Prototype
5th European Conference on Speech Communication and Technology, Sep 1997, Rhodes, Greece
hal-01112917v1  Conference papers
Imed ZitouniKamel SmaïliJean-Paul Haton. Variable-length class sequences based on a hierarchical approach: MCnv
SPECOM 1998 - 3rd International Workshop on Speech and Computer, Oct 1998, Saint-Petersbourg, Russia
hal-00347868v1  Journal articles
Xavier AntoineHélène BarucqAbderrahmane Bendali. Bayliss-Turkel-like Radiation Condition on Surfaces of Arbitrary Shape
Journal of Mathematical Analysis and Applications, Elsevier, 1999, 229 (1), pp.184-211. ⟨10.1006/jmaa.1998.6153⟩
hal-00347872v1  Journal articles
Xavier AntoineHélène Barucq. Microlocal Diagonalization of Strictly Hyperbolic Pseudodifferential Systems and Application to the Design of Radiation Conditions in Electromagnetism
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2001, 61 (6), pp.1877-1905
hal-00347869v1  Journal articles
Xavier Antoine. Fast Approximate Computation of a Time-Harmonic Scattered Field using the On-Surface Radiation Condition Method
IMA Journal of Applied Mathematics, Oxford University Press (OUP), 2001, 66 (1), pp.83-110. ⟨10.1093/imamat/66.1.83⟩
...
hal-03116903v1  Conference papers
Jean-Francois ScheidGiulio Schimperna. Regularity and uniqueness results for a phase change problem in binary alloys
4th European Conference Elliptic and Parabolic Problems, Sep 2001, Gaeta, Italy. pp.475-484, ⟨10.1142/9789812777201_0045⟩
hal-00956165v1  Journal articles
Jean-Michel DischlerKarl MaritaudBruno LévyDjamchid Ghazanfarpour. Texture Particles
Computer Graphics Forum, Wiley, 2002, 21 (3), pp.401-410. ⟨10.1111/1467-8659.t01-1-00600⟩
...
hal-00133420v1  Journal articles
Emmanuel FrénodFrédérique Watbled. The Vlasov equation with strong magnetic field and oscillating electric field as a model of isotope resonant separation
Electronic Journal of Differential Equations, Texas State University, Department of Mathematics, 2002, 2000, pp.1--20
hal-00210535v1  Journal articles
Stephanie LohrengelChristophe Hazard. A singular field method for Maxwell's equations: numerical aspects for 2D magnetostatics
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2002, 40 (3), pp.1021--1040. ⟨10.1137/S0036142900375761⟩
hal-00347876v1  Journal articles
Xavier Antoine. An Algorithm Coupling the OSRC and FEM for the Computation of an Approximate Scattered Acoustic Field by a Non-convex Body
International Journal for Numerical Methods in Engineering, Wiley, 2002, 54 (7), pp.1021-1041. ⟨10.1002/nme.458⟩
inria-00100916v1  Conference papers
Yannick ChevalierLaurent Vigneron. Automated Unbounded Verification of Security Protocols
14th International Conference on Computer Aided Verification - CAV'2002, 2002, Copenhaguen, Denmark, pp.324-337
...
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p