Algorithme recherche And NotY. Dimopoulos
List of bibliographic references
Number of relevant bibliographic references: 11.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000027 | Damien Pellier [France] ; Humbert Fiorino [France] ; Marc Metivier [France] | Une approche inspirée de la recherche de cible mouvante |
| 000038 | Didier Marin [France] ; Lionel Rigoux [France] ; Olivier Sigaud [France] | Apprentissage et optimisation de politiques pour un bras articulé actionné par des muscles |
| 000224 | Lhassane Idoumghar [France] ; René Schott [France] | Two Distributed Algorithms for the Frequency Assignment Problem in the Field of Radio Broadcasting |
| 000522 | Daniel Szer [France] ; Francois Charpillet [France] | An optimal best-first search algorithm for solving infinite horizon DEC-POMDPs |
| 000775 | Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni] | Resource tableaux |
| 000791 | Miguel Alabau [France] ; Lhassane Idoumghar [France] ; René Schott [France] | New hybrid genetic algorithms for the frequency assignment problem |
| 000818 | Didier Galmiche [France] ; Daniel Mery [France] | Connection-based proof search in propositional BI logic |
| 000970 | J. L. Caldwell [États-Unis] ; I. P. Gent [Royaume-Uni] ; J. Underwood [Royaume-Uni] | Search algorithms in type theory |
| 000975 | Philippe De Groote [France] | Proof-search in implicative linear logic as a matching problem |
| 000C18 | V. Grebinski [France] ; G. Kucherov [France] | Optimal reconstruction of graphs under the additive model |
| 000D50 | Y. Gong [France] ; Jean-Paul Haton [France] | Plausibility functions in continuous speech recognition: The VINICS system |
| This area was generated with Dilib version V0.6.33. |  |