Resultados 1 - 10 de 15 para Búsqueda General
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artículo de Congreso
|
|
Sequence comparison some theory and some practiceImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)Proceedings Berlin : Springer, 1989Berlin Springer 1989Disponible en IME - Inst. Matemática e Estatística (S L471c v.377 ) y otras localizaciones(Obténgalo) |
| 2 |
Material Type: Artículo de Congreso
|
|
Compression and entropyGeorges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)Proceedings Berlin : Springer, 1992Berlin Springer 1992Disponible en IME - Inst. Matemática e Estatística (PROD-834804 ) y otras localizaciones(Obténgalo) |
| 3 |
Material Type: Artículo de Congreso
|
|
Achieving optimality for gate matrix layout and pla folding a graph theoretical approachAfonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)Proceedings Berlin : Springer, 1992Berlin Springer 1992Disponible en IME - Inst. Matemática e Estatística (PROD-825028 ) y otras localizaciones(Obténgalo) |
| 4 |
Material Type: Artículo de Congreso
|
|
String matching algorithms and automataImre Simon 1943-2009 Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz (1994 Graz, Austria)Proceedings Berlin: Springer, 1994Berlin Springer 1994Disponible en IME - Inst. Matemática e Estatística (PROD-2968564 )(Obténgalo) |
| 5 |
Material Type: Artículo de Congreso
|
|
Belief revision on computation tree logicPaulo T Guerra Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (22. 2011 Barcelona, Catalonia, Spain)Proceedings Palo Alto : AAAI Press, 2011Palo Alto AAAI Press 2011Acceso en línea. La biblioteca tiene también copias físicas. |
| 6 |
Material Type: Artículo de Congreso
|
|
A parallel algorithm for minimum spanning tree on GPUJucele Franca de Alencar Vasconcellos Edson Norberto Caceres; Henrique Mongelli; Siang Wun Song; International Symposium on Computer Architecture and High Performance Computing Workshops (29. 2017 Campinas, SP)Proceedings Los Alamitos: IEEE, 2017Los Alamitos IEEE 2017Disponible en IME - Inst. Matemática e Estatística (PROD-2871187 )(Obténgalo) |
| 7 |
Material Type: Artículo de Congreso
|
|
Towards MC/DC coverage of properties specification patternsAna Cristina Vieira de Melo Corina S Pasareanu; Simone Hanazumi; International Colloquium on Theoretical Aspects of Computing - ICTAC (13. 2016 Taipei, Taiwan)Proceedings Cham: Springer, 2016Cham Springer 2016Disponible en IME - Inst. Matemática e Estatística (PROD-2872237 )(Obténgalo) |
| 8 |
Material Type: Artículo de Congreso
|
|
Hierarchical PNF networks a temporal model of events for the representation and dramatization of storytellingErick Baptista Passos Anselmo Antunes Montenegro; Esteban Walter Gonzalez Clua; Cesar Tadeu Pozzer; Flávio Soares Corrêa da Silva; Brazilian Symposium on Games and Digital Entertainment - SBGAMES (8. (2009 Rio de Janeiro, Brasil)Proceedings Piscataway : IEEE, 2009Piscataway IEEE 2009Disponible en IME - Inst. Matemática e Estatística (PROD-3001666 )(Obténgalo) |
| 9 |
Material Type: Artículo de Congreso
|
|
An argumentation machinery to reason over inconsistent ontologiesMartin O Moguillansky Renata Wassermann; Marcelo A Falappa; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. (2010 Bahía Blanca, Argentina)Proceedings Berlin : Springer, 2010Berlin Springer 2010Disponible en IME - Inst. Matemática e Estatística (PROD-3008775 )(Obténgalo) |
| 10 |
Material Type: Artículo de Congreso
|
|
The online multicommodity connected facility location problemMário César San Felice Cristina Gomes Fernandes 1966-; Carla Negri Lintzmayer; International Workshop on Approximation and Online Algorithms - WAOA (15. 2017 Vienna, Austria)Proceedings Cham: Springer, 2018Cham Springer 2018Disponible en IME - Inst. Matemática e Estatística (PROD-2890482 )(Obténgalo) |
Resultados 1 - 10 de 15 para Búsqueda General
Personalizar los resultados
Refine Search Results
Ampliar mis resultados
Mostrar solo
Refinar mis resultados
Materia
- Teoria Da Computação (11)
- Algoritmos (2)
- Lógica (2)
- Teoria Dos Conjuntos (2)
- Wireless (1)
- Otimização Combinatória (1)
- Jogos De Computador (1)
- Ontologias (1)
- Computação Móvel (1)
- Processamento De Imagens (1)
- Veículos Rodoviários (1)
- Computação Em Nuvem (1)
- Desenvolvimento De Software (1)
- Alocação De Recursos (1)
- Teoria Dos Jogos (1)
- Computabilidade E Complexidade (1)
- Matemática Da Computação (1)
- Processos Estocásticos (1)
- Sistemas Integrados Em Larga Escala (1)
- Linguagens Formais (1)
-
Más opciones
Creador
- Simon, I (3)
- Song, S (2)
- Wassermann, R (2)
- Ferreira, A (2)
- International Workshop on Approximation and Online Algorithms - WAOA (1)
- Rocha Filho, G (1)
- Passos, E (1)
- Falappa, M (1)
- Annual Symposium on Theoretical Aspects of Computer Science - STACS (1)
- Goldman, A (1)
- International Conference on Wireless and Mobile Computing, N (1)
- Madeira, H (1)
- Pozzer, C (1)
- Barrera, J (1)
- Lintzmayer, C (1)
- Fernandes, C (1)
- Grande, R (1)
- Pasareanu, C (1)
- Hirata, N (1)
- Rodrigues, R (1)
-
Más opciones
Fecha de Publicación
- Antes de1994 (3)
- 1994Hasta2000 (2)
- 2001Hasta2008 (2)
- 2009Hasta2011 (3)
- Después de 2011 (5)
-
Más opciones
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros-
Realización:
Logos de Redes Sociales: 