Flávio S. Corrêa da Silva

According to our database1, Flávio S. Corrêa da Silva authored at least 80 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Population stratification for prediction of mortality in post-AKI patients.
CoRR, 2024

Towards a Transformer-Based Pre-trained Model for IoT Traffic Classification.
Proceedings of the NOMS 2024 IEEE Network Operations and Management Symposium, 2024

Multi-Objective Evolution for Chemical Product Design.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024

2023
Multi-Objective Evolution for Automated Chemistry.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2023

2020
Practical considerations regarding classification learning for clinical diagnosis and therapy advice in oncology.
ICT Express, 2020

A deep search method to survey data portals in the whole web: toward a machine learning classification model.
Gov. Inf. Q., 2020

SwarmGen: a framework for automatic generation of semantic services in an IoT network.
Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Towards Positive Artificial Intelligence.
Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020

Positive Artificial Intelligence.
Proceedings of the Italian Workshop on Artificial Intelligence for an Ageing Society 2020 co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020

2019
Enabling Semantic Discovery in the Swarm.
IEEE Trans. Consumer Electron., 2019

Towards an automated method to assess data portals in the deep web.
Gov. Inf. Q., 2019

Describing services geolocation in IoT context.
Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Location-aware discovery of services in the IoT: a Swarm approach.
Proceedings of the 2019 Global IoT Summit, 2019

Laying the foundations for benchmarking open data automatically: a method for surveying data portals from the whole web.
Proceedings of the 20th Annual International Conference on Digital Government Research, 2019

2018
An ADD-Oriented Software Architecture for Structuring Information to Open Government Data.
J. Comput. Sci., 2018

On the practice of classification learning for clinical diagnosis and therapy advice in oncology.
CoRR, 2018

Eletronic Health Records using Blockchain Technology.
CoRR, 2018

Depth-Sensor Applications for the Elderly: A Viable Option to Promote a Better Quality of Life.
IEEE Consumer Electron. Mag., 2018

Investigating open data portals automatically: a methodology and some illustrations.
Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age, 2018

2017
Model checking multi-level and recursive nets.
Softw. Syst. Model., 2017

The Role of Compliance in Heterogeneous Interacting Agents: Data from Observations.
CoRR, 2017

Assessment of fun in interactive systems: A survey.
Cogn. Syst. Res., 2017

Preserving Confidentiality in Ontologies: Can we Develop Secure Ontologies?
Proceedings of the IX Seminar on Ontology Research in Brazil and I Doctoral and Masters Consortium on Ontologies, 2017

Agile servient integration with the Swarm: Automatic code generation for nodes in the Internet of Things.
Proceedings of the International Conference on Future Networks and Distributed Systems, 2017

The semantic Mediation for the Swarm: An adaptable and organic solution for the Internet of Things.
Proceedings of the IEEE International Conference on Consumer Electronics, 2017

2016
A Logical Approach for Preserving Confidentiality in Shared Knowledge Bases.
Proceedings of the IX ONTOBRAS Brazilian Ontology Research Seminar, 2016

2015
LS ^2 C - A Platform for Norm Controlled Social Computers.
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

LS2C - A Platform to Design, Implement and Execute Social Computations.
Proceedings of the ICAART 2015, 2015

Engagement Mechanisms for Social Machines.
Proceedings of the Games and Learning Alliance - 4th International Conference, 2015

A collaborative-oriented middleware for structuring information to open government data.
Proceedings of the 16th Annual International Conference on Digital Government Research, 2015

2014
A general translation from nested Petri nets into PROMELA.
CoRR, 2014

Converging Natural User Interfaces guidelines and the design of applications for older adults.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Transparency portals versus open government data: an assessment of openness in Brazilian municipalities.
Proceedings of the 15th Annual International Conference on Digital Government Research, 2014

Really Opened Government Data: A Collaborative Transparency at Sight.
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013
Interaction protocols for cross-organisational workflows.
Knowl. Based Syst., 2013

Knowledge-based interaction protocols for intelligent interactive environments.
Knowl. Inf. Syst., 2013

Philosophy of Information: Views and Reflections on the Work of Luciano Floridi.
Inf., 2013

Using Low-Cost Technologies in the Development of People-Monitoring Applications.
Proceedings of the 15th Symposium on Virtual and Augmented Reality, 2013

Modeling and Simulating Interaction Protocols Using Nested Petri Nets.
Proceedings of the Software Engineering and Formal Methods, 2013

OpenMuseum: uma estrutura para colaboração entre instituições de patrimônio cultural.
Proceedings of the 9th Brazilian Symposium on Information Systems, 2013

On the Use of SPIN for Studying the Behavior of Nested Petri Nets.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Usability Evaluation of an Application Designed for the Older Adults.
Proceedings of the Entertainment Computing - ICEC 2013 - 12th International Conference, 2013

A Systematic Review of Game Design Methods and Tools.
Proceedings of the Entertainment Computing - ICEC 2013 - 12th International Conference, 2013

Using parliamentary open data to improve participation.
Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance, 2013

An Ontology for Portability and Interoperability Digital Documents - An Approach in Document Engineering using Ontologies.
Proceedings of the KDIR/KMIS 2013 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval and the International Conference on Knowledge Management and Information Sharing, Vilamoura, Algarve, Portugal, 19, 2013

2012
A Computer Architecture for Intelligent Agents with Personality and Emotions.
Proceedings of the Human-Computer Interaction: The Agency Perspective, 2012

A System for Governmental Virtual Institutions based on Ontologies and Interaction Protocols.
Int. J. Distance Educ. Technol., 2012

Semantic information extraction from images of complex documents.
Appl. Intell., 2012

2011
Interoperabilidade e Portabilidade de Documentos Digitais Usando Oontologias.
Proceedings of Joint IV Seminar on Ontology Research in Brazil and VI International Workshop on Metamodels, 2011

Affective Agents for Empathic Interactions.
Proceedings of the Entertainment Computing - ICEC 2011 - 10th International Conference, 2011

2010
On the Construction of Synthetic Characters with Personality and Emotion.
Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

2009
Special issue: Intelligent agents and services for smart environments.
Int. J. Knowl. Based Intell. Eng. Syst., 2009

Hierarchical PNF Networks - A Temporal Model of Events for the Representation and Dramatization of Storytelling.
Proceedings of the VIII Brazilian Symposium on Games and Digital Entertainment, 2009

Synthetic Characters with Personality and Emotion.
Proceedings of the Intelligent Virtual Agents, 9th International Conference, 2009

Governmental virtual institutions.
Proceedings of the ICEGOV 2009, 2009

2008
Design issues for knowledge artifacts.
Knowl. Based Syst., 2008

A framework for execution and 3D visualization of situated cellular agent based crowd simulations.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Information flow and knowledge sharing.
Capturing intelligence, Elsevier, ISBN: 978-0-444-52935-0, 2008

2007
Managing Responsive Environments with Software Agents.
Appl. Artif. Intell., 2007

A Framework for Interacting Situated Agents in Virtual Environments.
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

A Framework for Execution and Visualization of Situated Agents Based Virtual Environments.
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

2006
Designing logic-based robots.
Inteligencia Artif., 2006

Rule Schemata for Game Artificial Intelligence.
Proceedings of the Advances in Artificial Intelligence, 2006

2005
Towards a Logic of Perishable Propositions.
Appl. Intell., 2005

Intelligent mobile multi-robotic systems: some challenges and possible solutions.
Proceedings of the ICINCO 2005, 2005

Agent-Based Management of Responsive Environments.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2002
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.
Knowl. Based Syst., 2002

Expressing systems capabilities for knowledge coordination.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2000
Facts, Arguments, Annotations and Reasoning.
New Gener. Comput., 2000

Remarks on Reasoning with Progressively Obsolete Information.
Proceedings of the International Joint Conference, 2000

A Lightweight Capability Communication Mechanism.
Proceedings of the Intelligent Problem Solving, 2000

1999
Why Ontologies Are Not Enough for Knowledge Sharing.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Formalisations of Uncertain Reasonining.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1998
Applied Intelligence: Special Issue on Systems for Uncertain Reasoning.
Appl. Intell., 1998

Annotated Logic Applications for Imperfect Information.
Appl. Intell., 1998

Temporal Data Obsolescence: Modelling Problems.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

1996
Automatic Programming of MMach's for OCR.
Proceedings of the 3th International Symposium on Mathematical Morphology and its Applications to Image and Signal Processing, 1996

1995
On proof- and model-based techniques for reasoning with uncertainty.
Int. J. Intell. Syst., 1995

1992
Automated Reasoning with Uncertainties.
Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

1991
Automated Reasoning About an Uncertain Domain.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991


  Loading...