1. | ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S.. Towards a Library of Game Components. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games) |
2. | ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S.. Requirements for game design tools. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games) |
3. | ALMEIDA, M. S. O. ; CORREA DA SILVA, FLAVIO S.. A Systematic Review of Game Design Methods and Tools. Em: 12th International Conference on Entertainment Computing, v. 1, p. 17-29, 2013.Qualis: Não identificado (12th International Conference on Entertainment Computing) |
4. | ALMEIDA, M. S. O. ; GONCALVES, R. A. ; VALENTIN, L. G. ; CORREA DA SILVA, F. S.. Towards a Game Design Patterns Suggestion Tool. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games) |
5. | ALVES, WONDER ALEXANDRE LUZ ; MORIMITSU, ALEXANDRE ; CASTRO, JOEL SANCHEZ ; HASHIMOTO, RONALDO FUMIO. Extraction of Numerical Residues in Families of Levelings. Em: 2013 XXVI SIBGRAPI Conference on Graphics, p. 349, 2013. Qualis: Não identificado (2013 XXVI SIBGRAPI Conference on Graphics) |
6. | AMANTEA, GUILHERME ; RIVANO, HERVE ; Goldman, Alfredo. A Delay-Tolerant Network Routing Algorithm Based on Column Generation. Em: 2013 IEEE 12th International Symposium on Network Computing and Applications (NCA), p. 89, 2013. Qualis: Não identificado (2013 IEEE 12th International Symposium on Network Computing and Applications (NCA)) |
7. | ANDREWS, P. Y. ; CORREA DA SILVA, F. S.. Using Parliamentary Open Data to Improve Participation. Em: International Conference on Theory and Practice of Electronic Governance, v. 1, p. 1-8, 2013.Qualis: Não identificado (International Conference on Theory and Practice of Electronic Governance) |
8. | ANTONUCCI, A. ; CORANI, GIORGIO ; MAUÁ, D. D. ; GABAGLIO, S.. An ensemble of Bayesian networks for multilabel classification. Em: International Joint Conference on Artificial Intelligence (IJCAI-13), p. 1220-1225, 2013.Qualis: Não identificado (International Joint Conference on Artificial Intelligence (IJCAI-13)) |
9. | ARANGO, J. J. ; TOMIYOSHI, M. M. ; IAZZETTA, F. ; QUEIROZ, M.. Brazilian Challenges for Network Music. Em: Sound and Music Computing Conference, p. 453-460, 2013. Qualis: Não identificado (Sound and Music Computing Conference) |
10. | BIANCHI, A. J. ; QUEIROZ, M.. Real time digital audio processing with Arduino. Em: Sound and Music Computing Conference, p. 538-545, 2013. Qualis: Não identificado (Sound and Music Computing Conference) |
11. | CAMPELO, M. B. ; HUIBAN, C. G. ; SAMPAIO, R. M. ; WAKABAYASHI, Y. On the Complexity for Solving or Approximating Convex Recoloring Problems. Em: 19th International Computing and Combinatorics Conference (COCOON), v. 7936, p. 614-625, 2013.Qualis: Não identificado (19th International Computing and Combinatorics Conference (COCOON)) |
12. | CARVALHO JR., A. D. ; ROSAN, M. ; QUEIROZ, M. ; BIANCHI, A. J.. FFT benchmark on Android devices: Java versus JNI. Em: 14th Brazilian Symposium on Computer Music, p. 1-4, 2013.Qualis: Não identificado (14th Brazilian Symposium on Computer Music) |
13. | CASTRO, J. E. S. ; HASHIMOTO, Ronaldo F ; BARRERA, Junior. Analytical Solutions for the Minkowski Addition Equation. Em: ISMM 2013 - Mathematical Morphology and its applications to Signal and Image Processing, v. 7883, p. 61-72, 2013.Qualis: Não identificado (ISMM 2013 - Mathematical Morphology and its applications to Signal and Image Processing) |
14. | CERVANTES, E. P. ; Mena-Chalco, Jesús P. ; OLIVEIRA, M C F ; Cesar Jr, Roberto M.. Using Link Prediction to Estimate the Collaborative Influence of Researchers. Em: IEEE eScience Conference, 2013.Qualis: Não identificado (IEEE eScience Conference) |
15. | Chaves, Cesar G. ; BATISTA, DANIEL M. ; DA FONSECA, NELSON L. S.. Scheduling cloud applications under uncertain available bandwidth. Em: ICC 2013 2013 IEEE International Conference on Communications, p. 3781-3786, 2013. Qualis: Não identificado (ICC 2013 2013 IEEE International Conference on Communications) |
16. | Colen, William ; Finger, Marcelo. Improving CoGrOO: the Brazilian Portuguese Grammar Checker. Em: STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology, 2013.Qualis: Não identificado (STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology) |
17. | CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; VASCONCELOS, Wamberto. Experimental Interaction Science. Em: AISB 2013 - British Symposium of Artificial Intelligence and Simulation of Behaviour, v. 1, p. 1-5, 2013.Qualis: Não identificado (AISB 2013 - British Symposium of Artificial Intelligence and Simulation of Behaviour) |
18. | CÓBE, Raphael M. O. ; RESINA, F. M. X. ; WASSERMANN, R.. Merging Ontologies via Kernel Contraction. Em: Ontobras, 2013.Qualis: Não identificado (Ontobras) |
19. | De Bona, Glauber ; Finger, Marcelo ; COZMAN, F. G.. Generalized Probabilistic Satisfiability. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.Qualis: Não identificado (BRACIS -- Brazilian Conference on Intelligent Systems) |
20. | DE MELO OLIVEIRA, RENAN ; Goldman, Alfredo ; MELO, CLAUDIA O.. Designing and Managing Agile Informative Workspaces: Discovering and Exploring Patterns. Em: 2013 46th Hawaii International Conference on System Sciences (HICSS), p. 4790, 2013. Qualis: Não identificado (2013 46th Hawaii International Conference on System Sciences (HICSS)) |
21. | DIAZ, J. G. ; JUNIOR, ROBERTO HIRATA ; CANU, S.. Support Vector Data Description for Uncertainty Data Sets. Em: Machine Learning Summer School, 2013.Qualis: Não identificado (Machine Learning Summer School) |
22. | FERNÁNDEZ VENERO, MIRTHA LINA ; CORREA DA SILVA, FLÁVIO SOARES. On the use of SPIN for studying the behavior of nested Petri nets. Em: 16th Brazilian Symposium on Formal Methods, v. 8195, p. 83-98, 2013.Qualis: Não identificado (16th Brazilian Symposium on Formal Methods) |
23. | Finger, Marcelo; GOMES, C. ; LE BRAS, R. ; SELMAN, B.. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. Em: SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing, p. 1-16, 2013.Qualis: Não identificado (SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing) |
24. | FRANCESQUINI, EMILIO ; Goldman, Alfredo ; MEHAUT, JEAN-FRANCOIS. A NUMA-Aware Runtime Environment for the Actor Model. Em: 2013 42nd International Conference on Parallel Processing (ICPP), p. 250, 2013. Qualis: Não identificado (2013 42nd International Conference on Parallel Processing (ICPP)) |
25. | FRANCESQUINI, EMILIO ; Goldman, Alfredo ; MÉHAUT, JEAN-FRANÇOIS. Improving the performance of actor model runtime environments on multicore and manycore platforms. Em: the 2013 workshop, p. 109, 2013. Qualis: Não identificado (the 2013 workshop) |
26. | FRANCESQUINI, EMILIO ; Goldman, Alfredo ; MÉHAUT, JEAN-FRANÇOIS. Actor scheduling for multicore hierarchical memory platforms. Em: the twelfth ACM SIGPLAN workshop, p. 51, 2013. Qualis: Não identificado (the twelfth ACM SIGPLAN workshop) |
27. | FRANCO, L. S. ; BRANDÃO, L. O. ; PIRES DA SILVA, M. R. S. ; RODRIGUES, P. A.. Uma investigação sobre o papel da Geometria Interativa no processo de aquisição do conceito de circunferência com alunos do 6º Ano do Ensino Fundamental. Em: XIX Workshop de Informática na Escola (WIE 2013), v. 1, p. 199-208, 2013.Qualis: Não identificado (XIX Workshop de Informática na Escola (WIE 2013)) |
28. | GALEGO, E. F. ; Wassermann, R.. Extração e Consulta de Informações do Currículo Lattes Baseadas em Ontologias. Em: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013.Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)) |
29. | Goldman, Alfredo; LEPPING, JOACHIM ; NGOKO, YANIK ; TRYSTRAM, DENIS. Combining Parallel Algorithms Solving the Same Application: What is the Best Approach?. Em: 2013 IEEE International Symposium on Parallel & Distributed Processing, p. 1859, 2013. Qualis: Não identificado (2013 IEEE International Symposium on Parallel & Distributed Processing) |
30. | GUEVARA, JORGE ; Hirata, Roberto ; CANU, STEPHANE. Kernel functions in Takagi-Sugeno-Kang fuzzy system with nonsingleton fuzzy input. Em: 2013 IEEE International Conference on Fuzzy Systems (FUZZIEEE), p. 1, 2013. Qualis: Não identificado (2013 IEEE International Conference on Fuzzy Systems (FUZZIEEE)) |
31. | HANAZUMI, SIMONE ; DE MELO, ANA C. V.. Generation of Java programs properties from test purposes. Em: the 2013 International Symposium, p. 362, 2013. Qualis: Não identificado (the 2013 International Symposium) |
32. | HERRMANN, RICARDO G. ; BARROS, LELIANE N. DE. Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning. Em: 2013 Brazilian Conference on Intelligent Systems (BRACIS), p. 175, 2013. Qualis: Não identificado (2013 Brazilian Conference on Intelligent Systems (BRACIS)) |
33. | INOCENCIO, A. C. G. ; PARREIRA JUNIOR, P. A. ; VALLE, P. H. D. ; MUNIZ, R. J. ; VILELA, R. F. ; LIMA, W. A.. Processo Otimizado para o Desenvolvimento de Módulos Educacionais Digitais com o Envolvimento do Professor. Em: II Seminário Nacional de Inclusão Digital, 2013.Qualis: Não identificado (II Seminário Nacional de Inclusão Digital) |
34. | KAWAMOTO, A. L. S. ; CORREA DA SILVA, FLÁVIO SOARES. Utilização de dispositivos de interfaces naturais de usuário em aplicações de realidade aumentada. Em: Tendências e técnicas em realidade virtual e aumentada, v. 3, p. 75-88, 2013.Qualis: C |
35. | KRAEMER, ALESSANDRO ; OLIVEIRA, JUNIOR CESAR DE ; SANTOS, FABIO ANDRE GARALUZ DOS ; MACIEL, ANA CLAUDIA ; Goldman, Alfredo ; CORDEIRO, DANIEL. Dynamic Creation of BSP/CGM Clusters on Cloud Computing Platforms. Em: 2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies (EIDWT), p. 767, 2013. Qualis: Não identificado (2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies (EIDWT)) |
36. | L.A.C. Mansilla ; Miranda, P.A.V.. Image Segmentation by Oriented Image Foresting Transform with Geodesic Star Convexity. Em: 15th International Conference on Computer Analysis of Images and Patterns (CAIP), v. 8047, p. 572-579, 2013.Qualis: Não identificado (15th International Conference on Computer Analysis of Images and Patterns (CAIP)) |
37. | Lara, Arnaldo C. ; Hirata Jr., Roberto. A Pyramid of Concentric Circular Regions to Improve Rotation Invariance in Bag-of-Words Approach for Object Categorization. Em: 8th International Joint Conference on Computer Vision, 2013.Qualis: Não identificado (8th International Joint Conference on Computer Vision) |
38. | Lara, Arnaldo C. ; Hirata Jr., Roberto. A Granulometry Based Descriptor For Object Categorization. Em: 11th International Symposium on Mathematical Morphology, 2013.Qualis: Não identificado (11th International Symposium on Mathematical Morphology) |
39. | Leandro, Jorge J. G. ; Cesar Jr, Roberto M. ; FERIS, Rogério S.. Shape Analysis using the Spectral Graph Wavelet Transform. Em: IEEE eScience Conference, 2013.Qualis: Não identificado (IEEE eScience Conference) |
40. | LEITE, LEONARDO A. F. ; LAGO, N. P. ; GEROSA, M. A. ; KON, F.. Um Middleware para Encenação Automatizada de Coreografias de Serviços Web em Ambientes de Computação em Nuvem. Em: 31o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, v. 1, p. 937-950, 2013.Qualis: Não identificado (31o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos) |
41. | LUZ, F. F. ; Wassermann, R.. Consulta a ontologias em língua portuguesa através do português controlado. Em: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013.Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)) |
42. | MACHADO, ANDERSON FRAIHA ; BONAFONTE, ANTONIO ; Queiroz, Marcelo. Parametric decomposition of the spectral envelope. Em: ICASSP 2013 2013 IEEE International Conference on Acoustics, p. 571-574, 2013. Qualis: Não identificado (ICASSP 2013 2013 IEEE International Conference on Acoustics) |
43. | MANSILLA, LUCY A. C. ; JACKOWSKI, MARCEL P. ; Miranda, Paulo A. V.. Image foresting transform with geodesic star convexity for interactive image segmentation. Em: 2013 20th IEEE International Conference on Image Processing (ICIP), p. 4054, 2013. Qualis: Não identificado (2013 20th IEEE International Conference on Image Processing (ICIP)) |
44. | MANSILLA, LUCY A. C. ; MIRANDA, PAULO A.V.. Image segmentation by oriented image foresting transform: Handling ties and colored images. Em: 2013 18th International Conference on Digital Signal Processing (DSP), p. 1, 2013. Qualis: Não identificado (2013 18th International Conference on Digital Signal Processing (DSP)) |
45. | MANSILLA, LUCY A.C. ; MIRANDA, PAULO A.V. VECHIATTO ; CAPPABIANCO, FABIO A.M.. Image Segmentation by Image Foresting Transform with Non-smooth Connectivity Functions. Em: 2013 XXVI SIBGRAPI Conference on Graphics, p. 147, 2013. Qualis: Não identificado (2013 XXVI SIBGRAPI Conference on Graphics) |
46. | MATUSZEWSKI, D. J. ; LOPES, R. M. ; CESAR-JR, ROBERTO M.. Visual Rhythm-based method for continuous plankton monitoring. Em: IEEE eScience Conference, 2013.Qualis: Não identificado (IEEE eScience Conference) |
47. | MAUÁ, D. D.; DE CAMPOS, CASSIO P. ; BENAVOLI, A. ; ANTONUCCI, A.. On the Complexity of Strong and Epistemic Credal Networks. Em: Conference on Uncertainty in Artificial Intelligence (UAI-13), p. 391-400, 2013.Qualis: Não identificado (Conference on Uncertainty in Artificial Intelligence (UAI-13)) |
48. | MENEZES, M. V. ; BARROS, L. N. ; PEREIRA, S. L.. Regressão de Ações Não Determinísticas: uma Solução Simbólica. Em: X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), v. 29, p. 1-12, 2013.Qualis: Não identificado (X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)) |
49. | Miranda, Paulo A. V.; CAPPABIANCO, FABIO A. M. ; IDE, JAIME S.. A case analysis of the impact of prior center of gravity estimation over skull-stripping algorithms in MR images. Em: 2013 20th IEEE International Conference on Image Processing (ICIP), p. 675, 2013. Qualis: Não identificado (2013 20th IEEE International Conference on Image Processing (ICIP)) |
50. | MORAIS, E. M. ; Finger, Marcelo. Probabilistic Answer Set Programming. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.Qualis: Não identificado (BRACIS -- Brazilian Conference on Intelligent Systems) |
51. | MOTA , R. P. B. ; BATISTA, D. M.. Um mecanismo para garantia de QoS na 'Internet das Coisas' com RFID. Em: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), p. 297-310, 2013.Qualis: C (REVISTA BRASILEIRA DE REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS) |
52. | MOTA , R. P. B. ; BATISTA, D. M.. An Ns-2 Module for Simulating Passive RFID Systems. Em: IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2013), p. 2263-2270, 2013. Qualis: Não identificado (IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2013)) |
53. | MOTA , R. P. B. ; BATISTA, D. M.. A RFID QoS Mechanism for IoT Tracking Applications. Em: International Symposium on Wireless Pervasive Computing, p. 1-4, 2013. Qualis: Não identificado (International Symposium on Wireless Pervasive Computing) |
54. | MOURA, PAULO ; Kon, Fabio. Automated scalability testing of software as a service. Em: 2013 8th International Workshop on Automation of Software Test (AST), v. 1, p. 8, 2013. Qualis: Não identificado (2013 8th International Workshop on Automation of Software Test (AST)) |
55. | NASCIMENTO, MAURICIO G. F. ; BRANDAO, LEONIDAS O. ; BRANDAO, ANAROSA A. F.. A model to support a learning object repository for web-based courses. Em: 2013 IEEE Frontiers in Education Conference (FIE), p. 548, 2013. Qualis: Não identificado (2013 IEEE Frontiers in Education Conference (FIE)) |
56. | OLEYNIK, M. ; Finger, M ; PATRAO, D. F. C.. Information Retrieval from Clinical Reports. Em: Workshop on Knowledge Extraction from Text at NIPS 2013, 2013.Qualis: Não identificado (Workshop on Knowledge Extraction from Text at NIPS 2013) |
57. | OLIVEIRA, P. T. G. ; ANDRADE, A. ; WASSERMANN, R.. Toward the Revision of CTL Models through Kripke Modal Transition Systems. Em: Simpósio Brasileiro de Métodos Formais (SBMF), 2013.Qualis: Não identificado (Simpósio Brasileiro de Métodos Formais (SBMF)) |
58. | PATRAO, D. F. C. ; BRENTANI, H. ; Finger, Marcelo ; WASSERMANN, R.. Ontocloud ? a clinical information ontology based data integration system. Em: Ontobras, p. 118-129, 2013.Qualis: Não identificado (Ontobras) |
59. | REIS, D. F. ; SANTOS, J. P. M. ; VALLE, P. H. D. ; VILELA, R. F. ; INOCENCIO, A. C. G.. Uma Proposta de Avaliação Heurística para Ambientes Virtuais de Aprendizagem com Enfoque em Pessoas com Necessidades Educativas Especiais. Em: X Workshop de Realidade Virtual e Aumentada, 2013.Qualis: Não identificado (X Workshop de Realidade Virtual e Aumentada) |
60. | REIS, M. S. ; BARRERA, Junior. Solving problems in mathematical morphology through reduction to the U-curve problem. Em: ISMM - Mathematical Morphology and its applications to Signal and Image Processing, v. 11, p. 49-60, 2013.Qualis: Não identificado (ISMM - Mathematical Morphology and its applications to Signal and Image Processing) |
61. | RODRIGUES, MAURICIO CHUI ; Ferreira, Joao Eduardo ; Pu, Calton. Web Services Composition through Data Events Approach. Em: 2013 IEEE International Conference on Services Computing (SCC), p. 320, 2013. Qualis: Não identificado (2013 IEEE International Conference on Services Computing (SCC)) |
62. | RODRIGUEZ, E. ; ALKMIM, G. P. ; BATISTA, D. M. ; FONSECA, N. L. S.. Live Migration in Green Virtualized Networks. Em: IEEE International Conference on Communications, p. 2262-2266, 2013. Qualis: Não identificado (IEEE International Conference on Communications) |
63. | SANTOS, FELIPE MARTINS DOS ; BARROS, LELIANE NUNES DE ; HOLGUIN, MIJAIL GAMARRA. Stochastic Bisimulation for MDPs Using Reachability Analysis. Em: 2013 Brazilian Conference on Intelligent Systems (BRACIS), p. 213, 2013. Qualis: Não identificado (2013 Brazilian Conference on Intelligent Systems (BRACIS)) |
64. | SANTOS, J. P. M. ; REIS, D. F. ; VALLE, P. H. D. ; VILELA, R. F. ; INOCENCIO, A. C. G.. Proposta de um Método de Análise Comparativa de Tecnologias Assistivas para Utilização em Ambientes Virtuais de Aprendizagem. Em: X Workshop de Realidade Virtual e Aumentada, 2013.Qualis: Não identificado (X Workshop de Realidade Virtual e Aumentada) |
65. | SANTOS, L. A. F. ; CAMPIOLO, R. ; GEROSA, M. A. ; BATISTA, D. M.. Extração de alertas de segurança postados em mensagens de redes sociais. Em: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), p. 791-804, 2013.Qualis: C (REVISTA BRASILEIRA DE REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS) |
66. | SANTOS, VIVIANE ; Goldman, Alfredo ; RORIZ FILHO, HEITOR. The Influence of Practices Adopted by Agile Coaching and Training to Foster Interaction and Knowledge Sharing in Organizational Practices. Em: 2013 46th Hawaii International Conference on System Sciences (HICSS), p. 4852, 2013. Qualis: Não identificado (2013 46th Hawaii International Conference on System Sciences (HICSS)) |
67. | SCHIAVONI, F. L. ; QUEIROZ, M. ; WANDERLEY, M.. Alternatives in Network Transport Protocols for Audio Streaming Applications. Em: International Computer Music Conference, p. 193-200, 2013.Qualis: Não identificado (International Computer Music Conference) |
68. | SCHIAVONI, F. L. ; QUEIROZ, M. ; WANDERLEY, M.. Network Music with Medusa - a Comparison of Tempo Alignment in Existing MIDI APIs. Em: Sound and Music Computing Conference, p. 419-424, 2013. Qualis: Não identificado (Sound and Music Computing Conference) |
69. | SCHWERZ, A. L. ; LIBERATO, R. ; WIESE, I. S. ; STEINMACHER, I. F. ; GEROSA, M. A. ; FERREIRA, J. E.. Predizendo a Participação de Desenvolvedores em Discussões em Projetos de Software Livre. Em: XIV Workshop de Software Livre, 2013.Qualis: Não identificado (XIV Workshop de Software Livre) |
70. | SILVA, Paulo Salem da ; MELO, ANA C.V. DE. An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. Em: 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), p. 266-273, 2013. Qualis: Não identificado (2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)) |
71. | SILVA, Paulo Salem da ; MELO, ANA C.V. DE. Behaviorist Agent Architecture. Em: 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), p. 187, 2013. Qualis: Não identificado (2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)) |
72. | SUCA, E. G. ; CORREA DA SILVA, F. S.. An Ontology for Portability and Interoperability Digital Documents. Em: 5th International Conference on Knowledge Management and Information Sharing, 2013.Qualis: Não identificado (5th International Conference on Knowledge Management and Information Sharing) |
73. | VALLE, P. H. D.; MUNIZ, R. J. ; VILELA, R. F. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Um Conjunto de Heurísticas para Auxiliar no Design e Arquitetura de Jogos Educacionais Digitais. Em: Congresso de Pesquisa, 2013.Qualis: Não identificado (Congresso de Pesquisa) |
74. | VALLE, P. H. D.; REIS, D. F. ; VILELA, R. F. ; SANTOS, J. P. M. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Uma Proposta para Avaliação de Ambientes Virtuais de Aprendizagem por Meio de Heurísticas. Em: X Workshop de Realidade Virtual e Aumentada, 2013.Qualis: Não identificado (X Workshop de Realidade Virtual e Aumentada) |
75. | VALLE, P. H. D.; VILELA, R. F. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. HEDEG - Heurísticas para avaliação de Jogos Educacionais Digitais. Em: XVIII Conferência Internacional sobre Informática na Educação, 2013.Qualis: Não identificado (XVIII Conferência Internacional sobre Informática na Educação) |
76. | VENERO, M. L. F. ; ARAUJO, C. J. A. ; DAVID, DIEGO MIRA ; CORREA DA SILVA, FLÁVIO SOARES ; MAGALHAES, A. G.. OpenMuseum: a Framework for Collaboration Between Cultural Heritage Institutions. Em: Simpósio Brasileiro de Sistemas de Informação, p. 158-169, 2013.Qualis: Não identificado (Simpósio Brasileiro de Sistemas de Informação) |
77. | VENERO, M. L. F. ; CORREA DA SILVA, F. S.. Modelling and simulating interaction protocols using Nested Petri Nets. Em: Workshop on Formal Methods in the Development of Software, 2013.Qualis: Não identificado (Workshop on Formal Methods in the Development of Software) |
78. | VIANNA, L. G. R. ; S. Sanner ; BARROS, L. N.. Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs. Em: 29th Conference on Uncertainty in Artificial Intelligence (UAI-13)., v. 29, p. 674-683, 2013.Qualis: Não identificado (29th Conference on Uncertainty in Artificial Intelligence (UAI-13).) |
79. | VILELA, R. F. ; MUNIZ, R. J. ; VALLE, P. H. D. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. JEDReq: Um processo de Levantamento e Análise de Requisitos para Jogos Educacionais Digitais. Em: Congresso de Pesquisa, 2013.Qualis: Não identificado (Congresso de Pesquisa) |
80. | VILELA, R. F. ; VALLE, P. H. D. ; REIS, D. F. ; SANTOS, J. P. M. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Proposta de uma técnica de levantamento de requisitos para produção de ambientes virtuais de aprendizagem. Em: X Workshop de Realidade Virtual e Aumentada, 2013.Qualis: Não identificado (X Workshop de Realidade Virtual e Aumentada) |
81. | ZAMANI, Z. ; SANNER, S. ; DELGADO, K. V. ; BARROS, L. N.. Robust Optimization for Hybrid MDPs with State-dependent Noise. Em: 23rd International Joint Conference on Artificial Intelligence (IJCAI), v. 23, p. 2437-2443, 2013.Qualis: Não identificado (23rd International Joint Conference on Artificial Intelligence (IJCAI)) |