4 |
The Answer Validation ProdicosAV System dedicated to French
|
|
|
|
In: Proceedings of Evaluating Systems for Multilingual and Multimodal Information Access ; 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Revised Selected Papers ; https://hal.archives-ouvertes.fr/hal-00412450 ; 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Revised Selected Papers, Sep 2008, Aarhus, Denmark. pp.8 (2008)
|
|
BASE
|
|
Show details
|
|
5 |
French EuroWordNet Lexical Database Improvements
|
|
|
|
In: Lectures Notes of computer sciences ; 8th international conference on Computational Linguistics and Intelligent Text Processing (CICLing) ; https://hal.archives-ouvertes.fr/hal-00472023 ; 8th international conference on Computational Linguistics and Intelligent Text Processing (CICLing), Feb 2007, Mexico, Mexico. pp.12-22 (2007)
|
|
BASE
|
|
Show details
|
|
6 |
J. Kittler and M.S. Nixon (Eds.): AVBPA 2003, LNCS 2688, pp. 208-213, 2003.
|
|
|
|
In: http://fierrez.ii.uam.es/docs/2003_AVBPA_Unorm_GRomero.pdf (2003)
|
|
BASE
|
|
Show details
|
|
7 |
Autowrite: A Tool for Checking Properties of Term Rewriting Systems
|
|
|
|
In: Proceedings of the 13th International Conference on Rewriting Systems ; 13th International Conference on Rewriting Techniques and Applications ; https://hal.archives-ouvertes.fr/hal-00344294 ; 13th International Conference on Rewriting Techniques and Applications, 2002, Denmark. pp.371--375 (2002)
|
|
BASE
|
|
Show details
|
|
8 |
On the Modularity of Deciding Call-by-Need
|
|
|
|
In: Foundations of Software Science and Computation Structures ; https://hal.archives-ouvertes.fr/hal-00344304 ; Foundations of Software Science and Computation Structures, 2001, Italy. pp.199-213 (2001)
|
|
Abstract:
International audience ; In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple decidability proofs for a hierarchy of classes of rewrite systems that are much larger than earlier classes defined using the complicated sequentiality concept. In this paper we study the modularity of membership in the new hierarchy. Surprisingly, it turns out that none of the classes in the hierarchy is preserved under signature extension. By imposing various conditions we recover the preservation under signature extension. By imposing some more conditions we are able to strengthen the signature extension results to modularity for disjoint and constructor-sharing combinations.
|
|
Keyword:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; call-by-need; Term rewriting
|
|
URL: https://hal.archives-ouvertes.fr/hal-00344304
|
|
BASE
|
|
Hide details
|
|
9 |
Cross-Language Information Retrieval using Dutch Query Translation
|
|
|
|
In: Instructional Technology and Learning Sciences Faculty Publications (2000)
|
|
BASE
|
|
Show details
|
|
10 |
E. Jul (Ed.): ECOOP'98, LNCS 1445, pp.13-40, 1998.
|
|
|
|
In: http://www.ifs.uni-linz.ac.at/~ecoop/cd/papers/1445/14450013.pdf (1998)
|
|
BASE
|
|
Show details
|
|
11 |
Decidable Call by Need Computations in Term Rewriting
|
|
|
|
In: Proceedings of the 14th International Conference on Automated Deduction ; 14th International Conference on Automated Deduction ; https://hal.archives-ouvertes.fr/hal-00344328 ; 14th International Conference on Automated Deduction, 1997, Australia. pp.4--18 (1997)
|
|
BASE
|
|
Show details
|
|
12 |
Mathematical Foundations of Programming Semantics International Conference (9th) Held in New Orleans, Louisiana, April 1993
|
|
|
|
In: DTIC AND NTIS (1993)
|
|
BASE
|
|
Show details
|
|
13 |
Computational Mathetics: the missing link in Intelligent Tutoring Systems research?
|
|
|
|
In: ftp://ftp.comp.lancs.ac.uk/pub/aai/aai-report-77.ps.Z (1992)
|
|
BASE
|
|
Show details
|
|
14 |
Emergence Cangelosi, A., and editors, Evolution Emergence of Linguistic of Communication.
|
|
|
|
In: http://www.ling.ed.ac.uk/~simon/Papers/Ritchie/Selection,%20domestication,%20and%20the%20emergence%20of%20learned%20communication.pdf
|
|
BASE
|
|
Show details
|
|
|
|