Buscar

Filtros

Use los filtros para refinar su búsqueda.

Filtro actual:


Nuevo filtro:

Disciplina:Ciencias de la Computación e Información X

Mostrando 10 de un total de 142 resultados para la colección: Articulos(OCA CIUDAD UNIVERSITARIA). (0.033 segundos)

Mostrando ítems 51-60 de 142

Página anterior
1 . . .
3
4
5
6
7
8
9
. . .
15
Página siguiente

Artículo

A polynomial-time algorithm for computing absolutely normal numbers

Becher, Veronica Andrea ; Heiber, Pablo Ariel ; Slaman, Theodore A. (Elsevier Inc, 2013-11)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Supporting incremental behaviour model elaboration

Uchitel, Sebastian ; Alrajeh, Dalal ; Ben David, Shoham ; Braberman, Victor Adrian ; Chechik, Marsha ; de Caso, Guido ; D'ippolito, Nicolás Roque ; Fischbein, Dario ; Garbervetsky, Diego David ; Kramer, Jeff ; Russo, Alessandra ; Sibay, German (Springer Verlag Berlín, 2013-11)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

An integrated workbench for model-based engineering of service compositions

Foster, Howard ; Uchitel, Sebastian ; Magee, Jeff ; Kramer, Jeff (IEEE Computer Society, 2010-05)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Synthesizing nonanomalous event-based controllers for liveness goals

D'ippolito, Nicolás Roque ; Braberman, Victor Adrian ; Piterman, Nir ; Uchitel, Sebastian (Assoc Computing Machinery, 2013-02)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

An integer programming approach for the time-dependent TSP

Miranda Bront, Juan Jose ; Méndez Díaz, Isabel ; Zabala, Paula Lorena (Elsevier, 2010-08)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Elaborating requirements using model checking and inductive learning

Uchitel, Sebastian ; Alrajeh, Dalal ; Kramer, Jeff ; Russo, Alessandra (IEEE Computer Society, 2012-06-12)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

A branch-and-cut algorithm for the latent-class logit assortment problem

Méndez-Díaz, Isabel ; Miranda Bront, Juan Jose ; Vulcano, Gustavo ; Zabala, Paula Lorena (Elsevier Science, 2012-03)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

A model-based approach for multiple QoS in scheduling: From models to implementation

Kloukinas, Christos ; Yovine, Sergio Fabian (Springer, 2011-03)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Turn-taking cues in task-oriented dialogue

Gravano, Agustin ; Hirschberg, Julia (Academic Press Ltd - Elsevier Science Ltd, 2011-07)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Algorithms of Intrinsic Complexity for Point Searching in Compact Real Singular Hypersurfaces

Bank, Bernd ; Giusti, Marc ; Heintz, Joos Ulrich ; Lehmann, Lutz ; Pardo, Luis Miguel (Springer, 2012-02)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas

Mostrando ítems 51-60 de 142

Página anterior
1 . . .
3
4
5
6
7
8
9
. . .
15
Página siguiente