m

F Nous contacter

0

Documents  68T35 | enregistrements trouvés : 27

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 602 p.
ISBN 978-1-56072-042-3

Localisation : Colloque 1er étage (VERS)

acquisition des connaissances # système expert # analyse multivariée # intelligence artificielle

62-07 ; 62-06 ; 68Txx ; 68T35 ; 62Hxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xii; 628 p.
ISBN 978-3-540-42242-6

Lecture notes in computer science , 0945

Localisation : Collection 1er étage

théorie de l'information # système expert # incertitude # intelligence artificielle

68Txx ; 97R40 ; 68Pxx ; 68P30 ; 68T37 ; 68T35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 370 p.
ISBN 978-0-8218-4380-2

DIMACS series in discrete mathematics and theoretical computer science , 0069

Localisation : Collection 1er étage

combinatoires # informatique # chimie # graphe

68R10 ; 68T05 ; 68T35 ; 05C35 ; 05C30 ; 05C62 ; 05-06 ; 68-06 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 372p.
ISBN 978-3-540-54477-7

Lecture notes in computer science , 0531

Localisation : Collection 1er étage

informatique # méthodes de vérification assistée par ordinateur # langage logique # langage formel # algébres de processus

00B25 ; 68-06 ; 68T35 ; 68Q85

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 487p.
ISBN 978-3-540-55179-9

Lecture notes in computer science , 0575

informatique # méthodes de verification assistée par ordinateur # langage logique # langage formel # algorithme de démonstration de théorèmes # controleurs hardwere # protocole de communication # système en temps réel

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 486p.
ISBN 978-3-540-63166-8

Lecture notes in computer science , 1254

Localisation : Collection 1er étage

informatique # méthodes de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

00B25 ; 68-06 ; 68Q60 ; 68T15 ; 68T35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 582p.
ISBN 978-3-540-67770-3

Lecture notes in computer science , 1855

Localisation : Collection 1er étage

informatique # méthode de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 552p.
ISBN 978-3-540-64608-2

Lecture notes in computer science , 1427

Localisation : Collection 1er étage

informatique # méthode de vérification assistée par ordinateur #logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-90-3677-1-5

Localisation : Colloque 1er étage (LYON)

acquisition de connaissance # apprentissage # architecture et image # architecture logicielle et intelligence artificielle # infographie # intelligence artificielle # langage # langue # langue naturelle # modélisation # mouvement # raisonnement # reconnaissance des formes # représentation # robotique # stéréovision # système d'information # séquence # technique et science informatique # traitement du signal

68T10 ; 68T25 ; 68T30 ; 68T35 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-90-3677-1-5

Localisation : Colloque 1er étage (LYON)

acquisition de connaissance # apprentissage # architecture et image # architecture logicielle et intelligence artificielle # infographie # intelligence artificielle # langage # langue # langue naturelle # modélisation # mouvement # raisonnement # reconnaissance des formes # représentation # robotique # stéréovision # système d'information # séquence # technique et science informatique # traitement du signal

68T10 ; 68T25 ; 68T30 ; 68T35 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-90-3677-1-5

Localisation : Colloque 1er étage (LYON)

acquisition de connaissance # apprentissage # architecture et image # architecture logicielle et intelligence artificielle # infographie # langage # langue # langue naturelle # modélisation # mouvement # raisonnement # reconnaissance des formes # représentation # robotique # stéréovision # système d

68T10 ; 68T25 ; 68T30 ; 68T35 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8186-2920-4

Localisation : Colloque 1er étage (HAGU)

algorithmique # codage # délection des contours # entropie # format d

68T10 ; 68T35 ; 68Txx ; 68U05 ; 68U07 ; 68U10 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-906899-26-1

Localisation : Colloque 1er étage (AVIG)

intelligence artificielle # système expert

68T35 ; 68Txx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-906899-25-4

Localisation : Colloque 1er étage (AVIG)

calculateur # centre informatique # configuration réseau # intelligence artificielle # maintenance des systèmes de télécommunications # science de l

68T35 ; 68Txx ; 68U07

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 333 p.
ISBN 978-0-904933-61-1

Localisation : Colloque 1er étage (AVIG)

acquisition de connaissance # intelligence artificielle # raisonnement dans un système expert # raisonnement multi-expert et multi-agent # raisonnement multi-modèle # science cognitive

68T35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- Pp. 453-909
ISBN 978-0-904933-61-1

Localisation : Colloque 1er étage (AVIG)

application # contrôle # gestion # industrie des systèmes experts # intelligence artificielle # outil et technique de construction des systèmes experts # surveillance # système expert # système informatique # sécurité # télécommunication # économie des systèmes experts # électrotechnique

68T05 ; 68T35 ; 68Txx ; 68U07 ; 68U20 ; 68U30 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 449 p.
ISBN 978-0-904933-61-1

Localisation : Colloque 1er étage (AVIG)

application # contrôle # gestion # industrie des systèmes experts # intelligence artificielle # outil et technique de construction des systèmes experts # surveillance # système expert # système informatique # sécurité # télécommunication # économie des systèmes experts # électrotechnique

68T05 ; 68T35 ; 68Txx ; 68U07 ; 68U20 ; 68U30 ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-1-55860-300-4

Localisation : Colloque 1er étage (CHAM)

apprentissage machine # langage naturel # paneau # panel # physique naive # planning # programmation logique # qualitatif # raisonnement # reseau neuronnaux # robotique et vision # vidéo # vision

68T05 ; 68T25 ; 68T27 ; 68T30 ; 68T35 ; 68Txx ; 68Uxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-1-55860-300-4

Localisation : Colloque 1er étage (CHAM)

AI distribuée # automate # automatique # intelligence artificielle # modèle co-positif # problème de satisfaction des contraintes # représentation des connaissances # système intelligent de Tutoring # technologie des connaissances de base

68T05 ; 68T20 ; 68T30 ; 68T35 ; 68Txx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-66047-7

Localisation : Disparu

algèbre commutatif # algèbre de calcul # analyse numérique # calcul symbolique # corps # informatique théorique # intelligence artificielle # méthode de différence finie # polynomes # représentation de groupes # stabilité de Lyaponov # système expert # théorie de stabilité # équations différentielles avancées

12Y05 ; 13P10 ; 20C40 ; 34A25 ; 34D20 ; 65M06 ; 68Q40 ; 68T35

... Lire [+]

Z