m

F Nous contacter

0

Documents  68T20 | enregistrements trouvés : 27

O

-A +A

P Q

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

Research talks;Computer Science

De nombreux problèmes d’optimisation sont NP-complets. Nous ne connaissons pas de problème NP-complet qui admette un algorithme optimal de résolution s’exécutant en temps polynomial en la taille de l’instance (sinon P=NP serait établi), et l’intuition commune est que P =/= NP. Pour ces problèmes, la recherche de solutions optimales peut donc être prohibitive. Les algorithmes d’approximation offrent un compromis intéressant: par définition, ils s’exécutent en temps polynomial et fournissent des solutions dont la qualité est garantie. Nous introduirons la notion d’algorithme d’approximation et de schéma d’approximation en temps polynomial, et nous illustrerons ces notions sur de nombreux exemples. Nous montrerons également comment établir qu’un problème n’admet pas d’algorithme d’approximation (à moins que P=NP), ou comment établir une borne inférieure au facteur d’approximation de tout algorithme d’approximation (sauf si P=NP). De nombreux problèmes d’optimisation sont NP-complets. Nous ne connaissons pas de problème NP-complet qui admette un algorithme optimal de résolution s’exécutant en temps polynomial en la taille de l’instance (sinon P=NP serait établi), et l’intuition commune est que P =/= NP. Pour ces problèmes, la recherche de solutions optimales peut donc être prohibitive. Les algorithmes d’approximation offrent un compromis intéressant: par définition, ils ...

68W25 ; 68Q25 ; 68T20

... 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-2-906899-24-7

Localisation : Colloque 1er étage (AVIG)

aide au commandement # aide à la navigation # défense # intelligence aritificielle # outil # plan # système de défense # sécurité et protection des systèmes experts # sécurité-défense

68T20 ; 68Txx ; 68U07

... Lire [+]

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

- 175 p.
ISBN 978-0-8218-2710-9

DIMACS series in discrete mathematics and theoretical computer science , 0057

Localisation : Collection 1er étage

intelligence artificielle # analyse numérique # opitmisation # programmation par contrainte # résolution de problème # recherche opérationnelle # planification # théorie déterministe # théorie stochastique # optimisation combinatoriale

65K10 ; 68T20

... Lire [+]

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

Research talks;Computer Science

Numerical software, common in scientific computing or embedded systems, inevitably uses an approximation of the real arithmetic in which most algorithms are designed. Finite-precision arithmetic, such as fixed-point or floating-point, is a common and efficient choice, but introduces an uncertainty on the computed result that is often very hard to quantify. We need adequate tools to estimate the errors introduced in order to choose suitable approximations which satisfy the accuracy requirements.
I will present a new programming model where the scientist writes his or her numerical program in a real-valued specification language with explicit error annotations. It is then the task of our verifying compiler to select a suitable floating-point or fixed-point data type which guarantees the needed accuracy. I will show how a combination of SMT theorem proving, interval and affine arithmetic and function derivatives yields an accurate, sound and automated error estimation which can handle nonlinearity, discontinuities and certain classes of loops.
Additionally, finite-precision arithmetic is not associative so that different, but mathematically equivalent, orders of computation often result in different magnitudes of errors. We have used this fact to not only verify but actively improve the accuracy by combining genetic programming with our error computation with encouraging results.
Numerical software, common in scientific computing or embedded systems, inevitably uses an approximation of the real arithmetic in which most algorithms are designed. Finite-precision arithmetic, such as fixed-point or floating-point, is a common and efficient choice, but introduces an uncertainty on the computed result that is often very hard to quantify. We need adequate tools to estimate the errors introduced in order to choose suitable ...

68Q60 ; 65G50 ; 68N30 ; 68T20

... Lire [+]

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

Research talks;Computer Science

Dans la deuxième partie de ce cours nous considérerons un problème lié, celui des algorithmes compétitifs. Dans le cadre de l’algorithmique " en-ligne ", les caractéristiques d’une instance d’un problème ne sont découvertes qu’au fur et à mesure du traitement de l’instance (comme on ne découvre l’histoire d’un livre qu’au fur et à mesure où on en lit des pages). Ne pas connaître à l’avance toutes les caractéristiques d’une instance interdit souvent - mais pas toujours - de construire un algorithme optimal. Nous montrerons, entre autres, comment utiliser la technique de l’adversaire pour établir une borne inférieure au facteur de compétitivité de tout algorithme en-ligne (cette fois-ci en dehors de toute notion de complexité). Dans la deuxième partie de ce cours nous considérerons un problème lié, celui des algorithmes compétitifs. Dans le cadre de l’algorithmique " en-ligne ", les caractéristiques d’une instance d’un problème ne sont découvertes qu’au fur et à mesure du traitement de l’instance (comme on ne découvre l’histoire d’un livre qu’au fur et à mesure où on en lit des pages). Ne pas connaître à l’avance toutes les caractéristiques d’une instance interdit ...

68W25 ; 68Q25 ; 68T20

... Lire [+]

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

- 322 p.
ISBN 978-0-12-141250-0

Localisation : Ouvrage RdC (BUND)

mathématiques appliquées générales # mécanisation des preuves et des opérations logiques # intelligence artificielle

68T15 ; 00A69 ; 03B35 ; 68T20

... Lire [+]

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

- 436 p.
ISBN 978-0-07-052261-9

Localisation : Ouvrage RdC (RICH)

apprentissage # compréhension du langage naturel # espace de problèmes # implémentation # intelligence artificielle # perception # représentation structurée de la connaissance # système de résolution de problèmes

68T01 ; 68T15 ; 68T20 ; 68T30 ; 68Txx

... Lire [+]

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

- 252 p.
ISBN 978-0-85224-410-4

Localisation : Ouvrage RdC (Arti)

68T20 ; 68T25 ; 68Txx

... Lire [+]

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

- 287 p.
ISBN 978-0-444-00365-2

Artificial intelligence series , 0007

Localisation : Ouvrage RdC (KOWA)

mathématique logique et fondation # logique générale # informatique # mécanisation des preuves et des opérations logiques # intelligence artificielle

03B35 ; 68T20 ; 68Txx

... Lire [+]

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

- 189 p.
ISBN 978-0-201-02988-8

Localisation : Ouvrage RdC (HOPC)

mathématique logique et fondation # automate # théorie générale # forme de language # grammaire # théorie des automates

68T20 ; 68T25 ; 68Txx

... Lire [+]

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

- 158 p.
ISBN 978-0-12-628870-4

Localisation : Ouvrage RdC (SCHO)

68T20 ; 98-XX

... Lire [+]

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

- 245 p.
ISBN 978-0-471-86854-5

Localisation : Ouvrage RdC (MELZ)

complexité

03D15 ; 03F20 ; 68C25 ; 68T20

... Lire [+]

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

- 382 P.
ISBN 978-0-201-05594-8

The addison-wesley series in artificial intelligence

Localisation : Ouvrage RdC (PEAR)

00A30 ; 68T20 ; 68Txx ; 98-XX

... Lire [+]

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

Localisation : Disparu

intelligence artificielle # programmation

68T20

... Lire [+]

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


ISBN 978-2-86601-063-8

Traite des nouvelles technologies , 0006

Localisation : Bibliothèque de Poitiers

algorithme # demonstration de theoreme # intelligence artificielle # langage de programmation # lisp # prolog # resolution de probleme # sys teme expert

68T10 ; 68T15 ; 68T20 ; 68T25 ; 68Txx

... Lire [+]

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

- 472 p.

Localisation : Ouvrage RdC (LAUR)

intelligence artificielle # résolution de problème

68T20 ; 68T30 ; 68Txx

... Lire [+]

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

- 188 p.
ISBN 978-3-540-55798-2

Lecture notes in computer science , 0628

Localisation : Collection 1er étage

adaptation relationnelle # intelligence artificielle # méthode heuristique # recherche par arbre # signal continu # signal discret # situation d'objet # stratégie de recherche en arbre # théorie de l'information # vision par ordinateur

68T10 ; 68T20 ; 68U05 ; 94A12

... Lire [+]

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

- 300 p.
ISBN 978-1-57586-030-5

Studies in logic, language and information

Localisation : Ouvrage RdC (DOHE)

logique # informatique # logique modale # logique mutli-valuée # logique du langage naturel # logique informatique # résolution de problème # intelligence artificielle # représentation des connaissances # sémantique

03-06 ; 03B45 ; 03B50 ; 03B65 ; 03B70 ; 68-06 ; 68T20 ; 68T30

... Lire [+]

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

- 306 p.
ISBN 978-1-56881-051-5

Localisation : Ouvrage RdC (FIUM)

informatique # analyse numérique # calcul graphique # calcul formel # représentation de fonction # représentation mathématique # interpolation # approximation par polynôme # intégration # zéro de fonction # résolution de problème

68-01 ; 65-01 ; 68U05 ; 68T20 ; 41A05 ; 41A10

... Lire [+]

Z