OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: PROGRAM Repository: 37 Document Type: Sin Especificar Year: 2012

Sort by Score Title Year -

11-20 from 95 results (0.014 seconds)

Title: Kolmogorov complexity for possibly infinite computations
Author: Figueira, Santiago / Becher, Verónica
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Computational logic / Connection machines / Kolmogorov complexity / Program-size complexity / Turing machines / monotone machines / infinite computations / non-effective computations

Acceder
Title: Análisis modular y recuperación de contraejemplos en TACO
Author: Alborodo, Raúl / Ricci, Nicolás / Galeotti, Juan P. / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software/Program Verification / Languages

Acceder
Title: The B method as an environment for the verification of eiffel programs: a case study
Author: Aguirre, Nazareno Matías / Oviedo, Juan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Intelligent agents / Object orientation / Program Verification / B Method

Acceder
Title: Generic data processing: a normalization exercise
Author: Necco, Claudia Mónica / Oliveira, J. Nuno
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Generic programming / polytypic programming / functional programming / program calculation / data reification / Normal forms / ADMINISTRATIVE DATA PROCESSING

Acceder
Title: Towards scaling up DynAlloy analysis using predicate abstraction
Author: Ariño, Rodrigo / Degiovanni, Renzo / Fervari, Raul / Ponzio, Pablo Daniel / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Automation / Program analysis

Acceder
Title: Prototype of speech translation system for audio effective communication
Author: Rojas Bello, Richard / Araya Araya, Erick / Vidal Vidal, Luis
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Program translation / Real time / Network Protocols / Speech recognition and synthesis

Acceder
Title: Evolution of computer science degrees at science school : University of Buenos Aires (FCEN-UBA)
Author: Factorovich, Pablo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Argentina / historia de la computación

Acceder
Title: A general approach to the implementation of action theories
Author: Simari, Guillermo Ricardo / García, Diego R. / Filocamo, Gabriel R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / General Approach / Implementation / Action Theories

Acceder
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: An improved evolutlonary approach for the cluster allocation problem
Author: Apolloni, Rubén / Molina, Silvia / Gallard, Raúl Hector
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / cluster allocation problem / ARTIFICIAL INTELLIGENCE / improved evolutlonary / Clustering

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »