Proposition D Un Cadre Algorithmique Unifie Pour La Comprehension De La Parole Continue

Proposition d'un cadre algorithmique unifié pour la compréhension de la parole continue

Du modèle à la simulation informatique

Avec l'evolution recente des modeles mathematiques vers des simulations informatiques, les formalisations du vivant sont de plus en plus integratives, mixtes et, en un sens, realistes. Plus generalement, les formalisations d'objets complexes deviennent assises sur et non plus seulement traitees par l'infrastructure informatique. Quelle est la veritable portee epistemologique de cette empirie simulee? Comment la distinguer de la creativite proprement interne aux mathematiques dont la philosophie des sciences a deja su rendre compte? En se penchant sur les modeles de plantes, cette enquete historique et epistemologique montre comment une telle evolution bouleverse les epistemologies contemporaines des formalisations et des modeles (dont l'iconoclasme epistemologique si vivace au XXe siecle) en renouvelant d'une part la question des rapports entre mathematiques, calcul, langage informatique et replication, et d'autre part la question de l'integration, dans un objet formel commun, de savoirs disciplinaires distincts.

Technology of Object-oriented Languages and Systems, TOOLS 5

This work encapsulates the papers presented at a Tools 5 conference held in the University of California, which covered object-oriented databases, reusable objects, a comparison of object-oriented languages, object-oriented user interfaces and object-oriented project management.