User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 1 - 25 of 429 results.

Pages

    • BookChapter
    Active software objects in a knowledge-based lifecycle support environment
    van Lamsweerde, Axel[UCL] (1992) Advances in Object-Oriented Software Engineering — [ISBN : 978-0-1300-6578-0]
    • Journal article
    Formal Derivation of Strongly Correct Concurrent Programs
    van Lamsweerde, Axel[UCL] Sintzoff, Michel (1979) Acta informatica — Vol. 12, no.1, p. 1-31 (1979)
    • BookChapter
    Une expérience de Candis 2000
    Dupont, Pierre[UCL] (2005) L'approche par problèmes et par projets dans l'enseignement supérieur : impact, enjeux et défis — [ISBN : 2-930344-89-X]
    • Speech
    Divergent Views in Goal-Driven Requirements Engineering
    van Lamsweerde, Axel[UCL] (1996) ISAW '96 Joint proceedings of the second international software architecture workshop — San Francisco,USA
    • WorkingPaper
    Polynomial regular inference
    Dupont, Pierre[UCL] (1997)
    • Journal article
    Automating the Production of Application Software Part 3
    van Lamsweerde, Axel[UCL] (1983) Technology and Science of Informatics — Vol. 2, no.2, p. 81-93 (1983)
    • BookChapter
    Efficient Integration of Context-Free Based Language Models in Continuous Speech Recognition
    Dupont, Pierre (1993) New Advances and Trends in Speech Recognition and Coding — [ISBN : 3-540-60098-1]
    • BookChapter
    Regular Grammatical Inference from Positive and Negatives Samples by Genetic Search : the GIG method
    Dupont, Pierre[UCL] (1994) Grammatical Inference and Applications, Alicante, Spain, September 21-23, 1994 — [ISBN : 3-540-58473-0]
    • Journal article
    Montague's Semantics and Boolean Semantics for Natural Language Representation
    Dupont, Pierre[UCL] Thayse, André[UCL] (1990) Philips Journal of Research — Vol. 45, no. 1, p. 41-66 (1990)
    • Speech
    Interpolated Word and Class Bigram Models for Spanish Conversational Speech Recognition
    Dupont, Pierre (1995) IEEE Workshop on Automatic Speech Recognition — Snowbird, Utah, USA
    • Speech
    Deadlock prevention in real-time systems
    van Lamsweerde, Axel[UCL] (1974) International Computing Symposium — Davos, Switzerland
    • BookChapter
    Guiding Speech Recognition by a Language Model
    Dupont, Pierre[UCL] Kamp, Yves[UCL] (1991) From Natural Language Processing to Logic for Expert Systems — [ISBN : 0-471-92431-8]
    • BookChapter
    Comment choisir la taille d'un groupe ?
    Dupont, Pierre[UCL] (2006) Etre enseignant - Magister ? Metteur en scène ? — [ISBN : 2-8041-5047-X]
    • BookChapter
    Reconnaissance de la parole pilotée par un modèle linguistique
    Dupont, Pierre Kamp, Yves[UCL] (1990) Approche logique de l'intelligence artificielle. 3. Du traitement de la langue à la logique des systèmes experts — [ISBN : 2-04-019648-X]
    • Speech
    Entropie relative et algorithmes d'inférence grammaticale probabiliste
    Thollard, Franck Dupont, Pierre (1999) Conférence d'apprentissage — Palaiseau, France
    • BookChapter
    Quelles sont les compétences requises pour un tuteur dans les domaines scientifique et méthodologique ?
    Dupont, Pierre[UCL] (2006) Etre enseignant - Magister ? Metteur en scène ? — [ISBN : 2-8041-5047-X]
    • BookChapter
    Learning Machine Learning
    van Lamsweerde, Axel[UCL] (1991) From Natural Language Processing to Logic for Expert Systems : A Logic Based Approach to Artificial Intelligence — [ISBN : 978-0-4719-2431-9]
    • BookChapter
    Using symbol clustering to improve probabilistic automaton inference
    Dupont, Pierre Chase, Lin (1998) Grammatical Inference, Ames, Iowa, USA, July 12-14, 1998 — [ISBN : 3-540-64776-7]
    • Journal article
    Automating the Production of Application Software Part 2
    van Lamsweerde, Axel[UCL] (1983) Technology and Science of Informatics — Vol. 2, no.1, p. 5-20 (1983)
    • Journal article
    Automating the Production of Application Software Part 1
    van Lamsweerde, Axel[UCL] (1982) Technology and Science of Informatics — Vol. 1, no. 6, p. 475-494 (1982)
    • Journal article
    On an Extension of Dijkstra's Semaphore Primitives
    Vantilborgh, Hendrik van Lamsweerde, Axel[UCL] (1972) Information Processing Letters — Vol. 1, no.5, p. 181-186 (1972)
    • Journal article
    Learning typed automata from automatically labeled data
    Kermorvant, Christian de la Higuera, Colin Dupont, Pierre[UCL] (2004) Journal electonique d'intelligence artificielle — Vol. 6, no. 45 (2004)

Pages