Nadji Gauthier

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

François Pottier, Nadji Gauthier
Polymorphic typed defunctionalization and concretization. High. Order Symb. Comput. 19 (1) (2006)
François Pottier, Nadji Gauthier
Polymorphic typed defunctionalization. POPL (2004)
Nadji Gauthier, François Pottier
Numbering matters: first-order canonical forms for second-order recursive types. ICFP (2004)
Thierry Artières, Nadji Gauthier, Patrick Gallinari, Bernadette Dorizzi
A Hidden Markov Models combination framework for handwriting recognition. Int. J. Document Anal. Recognit. 5 (4) (2003)
Nadji Gauthier, Thierry Artières, Patrick Gallinari, Bernadette Dorizzi
Strategies for Combining On-line and Off-line Information in an On-line Handwriting Recognition System. ICDAR (2001)