default search action
1st WEIT 2011: Pelotas, Brazil
- 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011. IEEE Computer Society 2011, ISBN 978-1-4673-0225-8
- Graçaliz Pereira Dimuro:
On Interval Fuzzy Numbers. 3-8 - Ana Paula Lüdtke Ferreira:
Model Checking. 9-14 - Leila Ribeiro, Fernando Luís Dotti:
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. 15-20 - Antônio Carlos da Rocha Costa:
Theoretical Computing Machines: A Systemic Approach. 21 - Tiago da Cruz Asmus, Graçaliz Pereira Dimuro:
On Fuzzy Probabilities in Bayesian Games. 25-31 - Rogerio Rodrigues de Vargas, Benjamín René Callejas Bedregal, Eduardo Silva Palmeira:
A Comparison between K-Means, FCM and ckMeans Algorithms. 32-38 - Jorge Luis B. Ribes, Graçaliz Pereira Dimuro, Marilton Sanchotene de Aguiar:
On Vector and Matrices of Fuzzy Numbers. 39-45 - Lidiane Visintin, Renata Hax Sander Reiser, Benjamín René Callejas Bedregal:
Interval-Valued Intuitionistic Fuzzy Implications. 46-52 - Gesner Antonio Azevedo dos Reis, Lidiane Visintin, Renata Hax Sander Reiser, Benjamín René Callejas Bedregal:
Conjugate and Dual Constructions on Interval Functions. 53-59 - Leonardo Martins Rodrigues, Graçaliz Pereira Dimuro:
Measuring the Quality of Internet Shopping: An Experiment Using Fuzzy Logic. 60-66 - Mateus Madail Santin, Silvia Silva da Costa Botelho, Graçaliz Pereira Dimuro, Celso Luiz Lopes Rodrigues:
Hand Skill Programming: Using Fuzzy Sets to Program Topobo Kinectis Memory Devices. 67-73 - Juliano Dertzbacher, Abraham Lincoln Rabelo de Sousa, Daltro J. Nunes:
A Simulation Model for Process-Centered Software Engineering Environments Using Sensitivity Analysis. 74-80 - Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner:
Using Graph Grammars to Develop Embedded Systems Based on UML Models. 81-87 - Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro:
Graph Grammars: A Comparison between Verification Methods. 88-94 - Cícero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone André da Costa Cavalheiro:
A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. 95-101 - Felipe Martins Müller, Guilherme Dhein, Olinto César Bassi de Araújo:
Theoretical and Experimental Analysis of the Jurema Branch-and-Bound Method. 102-107 - Renan Spencer Trindade, Guilherme Dhein, Felipe Martins Müller, Olinto César Bassi de Araújo:
Mixed Integer Linear Programming Models to Solve the Shisen-Sho Puzzle. 108-112 - Alice Finger, Aline Loreto:
Applications of Numerical Methods with Linear Complexity in Flood Forecasting in Rivers. 113-119 - Stephanie Loi Briao, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa:
Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An Overview. 120-126 - Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa:
Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations. 127-133 - Giovani Parente Farias, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa:
A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory. 134-137 - Luís Felipe K. de Macedo, Graçaliz Pereira Dimuro, Marilton Sanchotene de Aguiar:
Hybrid Intelligent Systems: A Study on Genetic Algorithms and Fuzzy Approaches. 138-144 - Murian dos Reis Ribeiro, Marilton Sanchotene de Aguiar:
Cultural Algorithms: A Study of Concepts and Approaches. 145-148 - Antônio Carlos da Rocha Costa:
Epistemic Relativism in Agent Societies: A Preliminary Semantic Model. 149-155 - Simone André da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro:
Towards Developmental Turing Machines. 156-162
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.