m

Documents  68Txx | enregistrements trouvés : 124

O

-A +A

P Q

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

I.S.N.M. , 0006

Localisation : Colloque 1er étage (HANN)

68-06 ; 68C05 ; 68Q25 ; 68Txx

... Lire [+]

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


ISBN 978-0-444-87647-8

North-holland mathematics studies , 0102

Localisation : Colloque 1er étage (BORG)

68Qxx ; 68Rxx ; 68SXX ; 68Txx

... Lire [+]

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


ISBN 978-0-444-70024-7

C.w.i. monographs , 0001

Localisation : Colloque 1er étage (AMST)

algebre # automatique # informatique # informatique theorique # intellige nce artificielle # stochastique

68Mxx ; 68Q70 ; 68Q75 ; 68Qxx ; 68Txx

... Lire [+]

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

- 214 p.
ISBN 978-0-387-96414-0

Localisation : Colloque 1er étage (LARA)

biologie # controlee # epidemiologie # intelligence artificiel le # mathematiques de l'informatique # mathematiques et industrie

00-02 ; 00A69 ; 68-06 ; 68Txx ; 69Q40

... Lire [+]

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


ISBN 978-0-201-11569-7

Localisation : Colloque 1er étage (PRIN)

analyse par grappe # intelligence artificielle # strategie statistique

62H30 ; 68Txx

... Lire [+]

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


ISBN 978-4-274-07221-5

Localisation : Colloque 1er étage (TOKY)

Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini

68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx

... Lire [+]

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

- 439 p.
ISBN 978-3-540-97628-8

Lecture notes in computer science , 0507

Localisation : Collection 1er étage

algorithme # algorithme des graphes # graphes # informatique théorique # intelligence artificielle # parallélisme # performance

68M20 ; 68Q10 ; 68Q22 ; 68Qxx ; 68Txx

... Lire [+]

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

- 551 p.
ISBN 978-3-540-55270-3

Lecture notes in computer science , 0580

Localisation : Collection 1er étage

application # information théorique # intelligence artificielle # interface # langage construit # logique mathématique # représentation formelle des connaissances # stockage et représentation des données # système multimédia # systèmes experts # traitement des données

68Mxx ; 68P20 ; 68Pxx ; 68T30 ; 68Txx

... Lire [+]

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


ISBN 978-7-80003-196-0

Localisation : Colloque 1er étage (BEIJ)

algebre de l'informatique # calcul symbolique # raisonnement automatise # theorie de la preuve

68C20 ; 68Txx

... Lire [+]

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

- 427 p.
ISBN 978-3-540-55789-0

Lecture notes in computer science , 0626

Localisation : Collection 1er étage

gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme

68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx

... Lire [+]

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

- 613 p.
ISBN 978-3-540-55578-0

Lecture notes in computer science , 0602

Localisation : Collection 1er étage

apprentissage assisté par ordinateur # ingenierie de logiciel # intelligence artificielle # éducation et informatique

68-06 ; 68Nxx ; 68Txx ; 68U30

... Lire [+]

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

- 360 p.
ISBN 978-0-8218-5027-5

Contemporary mathematics , 0029

Localisation : Collection 1er étage

démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves

03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx

... Lire [+]

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

- 320 p.
ISBN 978-3-540-55984-9

Lecture notes in computer science , 0641

Localisation : Collection 1er étage

analyse grammaticale # compilateur # construction de compilateur # environnement de programmation # grammaire # générateur de code # générateur de compilateur # interactif # programmation automatique # syntaxe

68Q50 ; 68Q52 ; 68Txx

... Lire [+]

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

- 376 p.
ISBN 978-3-540-56320-4

Lecture notes in computer science , 0653

Localisation : Collection 1er étage

automate # automatisation # contrôle # image # informatique # ingineering # intelligence artificielle # logiciel # logique symbolique # programmation # reconnaissance # robotique # science cognitive # sciences de l'ingénieur # signal # software # système cognitif # théorie du signal # vision

68D99 ; 68Q40 ; 68Q68 ; 68Txx ; 94A12

... Lire [+]

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


ISBN 978-0-521-47278-4

Publications of the Newton Institut , 0004

Localisation : Colloque 1er étage (CAMB)

contrôle de comportement guidé visuellement # guidage de robot visuel à partir de stéréo non-calibrée # traquage et contrôle de voitures jouets # traquage visuel # vision et exploration basées sur un modèle # vision informatique en temps réel

68T05 ; 68T10 ; 68Txx ; 68U10

... Lire [+]

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


ISBN 978-0-7923-3673-0

Solid mechanics and its applications , 0040

Localisation : Colloque 1er étage (SOPH)

algorithme de cinématique # cinématique # cinématique des mécanismes # espace de travail # informatique # manipulation parallèle # mouvement et planification de l'action de saisir # robotique # singularité

68-06 ; 68Txx ; 70B15

... Lire [+]

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

- 510 p.
ISBN 978-3-540-58240-3

Lecture notes in computer science , 0825

Localisation : Collection 1er étage

algèbre double # classification # correspondance de traits coplanaires # description d'objet hiérarchique utilisant l'invariant # fonction de taille invariante # géométrie épipolaire # intégration de courbe algébrique ou de surface algébrique, d # invariance en vision informatique # invariant en vision informatique # invariant pour retrouver forme à partir d'ombre # méthode du cadre de mouvement de Cartan # rapport anharmonique # reconnaissance d'objet 2D et 3D # reconnaissance par combinaison de vues de modèles # reconstruction euclidienne à partir de vues non calibrées # reconstruction projective précise # représentation de structure d'objets de dimension 3 # récupération d'objet courbé # statistique # structure affine et projective 3D # structure répétée # vue en perspective 2D algèbre double # classification # correspondance de traits coplanaires # description d'objet hiérarchique utilisant l'invariant # fonction de taille invariante # géométrie épipolaire # intégration de courbe algébrique ou de surface algébrique, d # invariance en vision informatique # invariant en vision informatique # invariant pour retrouver forme à partir d'ombre # méthode du cadre de mouvement de Cartan # rapport anharmonique # reconnaissance ...

68-06 ; 68Txx ; 68U05

... Lire [+]

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

Localisation : Colloque 1er étage (SYDN)

Prolog # algorithme résultant # algèbre et informatique # calcul de 2-cocycle # calcul de groupe 2-classe quadratique # corps quadratique imaginaire # graphe planaire maximal # meilleure approximation # processus de sous-groupe à faible indice # suite d'élément de semi-groupe # théorie des nombres

05Cxx ; 11Rxx ; 11Yxx ; 20Exx ; 68Txx

... Lire [+]

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

Collection de logique mathématiques. Série A , 0019

Localisation : Colloque 1er étage (TIHA)

ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de symbôle # théorie abstraite des automates et des calculatrices électro # théorie des circuits # traduction automatique # transport # tube électronique # typologie des langues ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de ...

03-06 ; 03Dxx ; 68-06 ; 68Qxx ; 68Txx

... Lire [+]

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


ISBN 978-3-540-60800-4

Lecture notes in artificial intelligence , 1036

Localisation : Colloque 1er étage (PISA)

IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # planification de discours intéractif # prise de décision stylistique # prétexte # relation textuelle # réponse de système cohérent et coopératif # structure rhétorique # système à base de connaissance # échange interrompue IDP # agrégation # algorithme de génération # architecture # codage grammatical incrémentiel # dialogue # documentation technique # formatage de texte # formulateur synphonic # générateur pour expression d'information temporelle # génération d'anaphore grammaticale et lexicale # génération de langage naturel # génération de phrase utilisant Profglot # génération multilinguale # lien multiple entre segment de texte # option lexicale # pl...

68-06 ; 68S05 ; 68Txx

... Lire [+]

Z