Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Teeft.i » - entrée « Artificial intelligence »
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.
Artificial data < Artificial intelligence < Artificial intelligence applications  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 89.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000A80 (2009) Current literature in abstract
001796 (2004) Jean Renaud [France] ; Arnaud Lefebvre [France] ; Christian Fonteix [France]Improvement of the Design Process through Knowledge Capitalization: an Approach by Know-how Mapping
001A16 (2003) Birgit Stehno [Autriche] ; Gregor Retti [Autriche]Modelling the logical structure of books and journals using augmented transition network grammars
002057 (2000) Miki Hermann [France] ; Phokion G. KolaitisUnification Algorithms Cannot Be Combined in Polynomial Time
002134 (2000) Hubert Comon [France] ; Robert Nieuwenhuis [Espagne]Induction=I-Axiomatization+First-Order Consistency
002210 (1999) R. Dssouli [Canada] ; K. Saleh [Koweït] ; E. Aboulhamid [Canada] ; A. En-Nouaary [Canada] ; C. Bourhfir [Canada]Test development for communication protocols: towards automation
002243 (1999) Florence Le Ber [France] ; Marie-Pierre Chouvet [France]An agent-based model for domain knowledge representation
002678 (1997) Calendar38
002680 (1997) Calendar11
002681 (1997) Calendar of meetings
002682 (1997) Calendar of meetings
002683 (1997) Calendar of meetings
002685 (1997) D. Barschdorff [Allemagne] ; L. Monostori [Hongrie] ; G. W. Wöstenkühler [Allemagne] ; Cs. Egresits [Hongrie] ; B. Kádár [Hongrie]Approaches to coupling connectionist and expert systems in intelligent manufacturing
002687 (1997) R. Benlamri [Algérie] ; M. Batouche [Algérie] ; S. Rami [Algérie] ; C. Bouanaka [Algérie]An automated system for analysis and interpretation of epileptiform activity in the EEG
002831 (1996) Adel Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications
002845 (1996) News
002846 (1996) News
002868 (1996) Call for papers
002869 (1996) Calendar of meetings
002870 (1996) Calendar of meetings
002883 (1996) M. Batouche [Algérie] ; R. Benlamri [Algérie] ; M. K. Kholladi [Algérie]A computer vision system for diagnosing scoliosis using moiré images

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i -k "Artificial intelligence" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Teeft.i  \
                -Sk "Artificial intelligence" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Teeft.i
   |clé=    Artificial intelligence
}}

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