Priscila M. V. Lima

According to our database, Priscila M. V. Lima authored at least 94 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

How do machines learn? Evaluating the AIcon2abs method.

Rubens Lacerda Queiroz, Cabral Lima, Fábio Ferrentini Sampaio, Priscila Machado Vieira Lima

CoRR, 2024

Emissions Reporting Maturity Model: supporting cities to leverage emissions-related processes through performance indicators and artificial intelligence.

Victor de A. Xavier, Felipe M. G. França, Priscila M. V. Lima

CoRR, 2024

LogicNets vs. ULEEN : Comparing two novel high throughput edge ML inference techniques on FPGA.

Shashank Nag, Zachary Susskind, Aman Arora, Alan T. L. Bacellar, Diego L. C. Dutra, Igor D. S. Miranda, Krishnan Kailas, Eugene B. John, Maurício Breternitz, Priscila M. V. Lima, Felipe M. G. França, Lizy K. John

Proceedings of the 67th IEEE International Midwest Symposium on Circuits and Systems, 2024

Soon Filter: Advancing Tiny Neural Architectures for High Throughput Edge Inference.

Alan T. L. Bacellar, Zachary Susskind, Maurício Breternitz, Lizy K. John, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the International Joint Conference on Neural Networks, 2024

Differentiable Weightless Neural Networks.

Alan Tendler Leibel Bacellar, Zachary Susskind, Maurício Breternitz Jr., Eugene John, Lizy Kurian John, Priscila Machado Vieira Lima, Felipe M. G. França

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

ULEEN: A Novel Architecture for Ultra-low-energy Edge Neural Networks.

Zachary Susskind, Aman Arora, Igor D. S. Miranda, Alan T. L. Bacellar, Luis A. Q. Villon, Rafael Fontella Katopodis, Leandro Santiago de Araújo, Diego L. C. Dutra, Priscila M. V. Lima, Felipe M. G. França, Maurício Breternitz, Lizy K. John

ACM Trans. Archit. Code Optim., December, 2023

A conditional branch predictor based on weightless neural networks.

Luis A. Q. Villon, Zachary Susskind, Alan T. L. Bacellar, Igor D. S. Miranda, Leandro Santiago de Araújo, Priscila M. V. Lima, Maurício Breternitz, Lizy K. John, Felipe M. G. França, Diego Leonel Cadette Dutra

Neurocomputing, October, 2023

Dendrite-inspired Computing to Improve Resilience of Neural Networks to Faults in Emerging Memory Technologies.

Lizy K. John, Felipe M. G. França, Subhasish Mitra, Zachary Susskind, Priscila M. V. Lima, Igor D. S. Miranda, Eugene B. John, Diego L. C. Dutra, Maurício Breternitz

Proceedings of the IEEE International Conference on Rebooting Computing, 2023

An FPGA-Based Weightless Neural Network for Edge Network Intrusion Detection.

Zachary Susskind, Aman Arora, Alan T. L. Bacellar, Diego Leonel Cadette Dutra, Igor D. S. Miranda, Maurício Breternitz, Priscila M. V. Lima, Felipe M. G. França, Lizy K. John

Proceedings of the 2023 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2023

Sun Tracking using a Weightless Q-Learning Neural Network.

Guilherme Souza, Priscila Lima, Felipe M. G. França

Proceedings of the 31st European Symposium on Artificial Neural Networks, 2023

WiSARD-based Ensemble Learning.

Leopoldo Lusquino Filho, Felipe M. G. França, Priscila Lima

Proceedings of the 31st European Symposium on Artificial Neural Networks, 2023

COIN: Combinational Intelligent Networks.

Igor D. S. Miranda, Aman Arora, Zachary Susskind, Josias S. A. Souza, Mugdha P. Jadhao, Luis A. Q. Villon, Diego L. C. Dutra, Priscila M. V. Lima, Felipe M. G. França, Maurício Breternitz, Lizy K. John

Proceedings of the 34th IEEE International Conference on Application-specific Systems, 2023

2022

Functional gradient descent for <i>n</i>-tuple regression.

Rafael Fontella Katopodis, Priscila M. V. Lima, Felipe M. G. França

Neurocomputing, 2022

A WiSARD-based conditional branch predictor.

Luis A. Q. Villon, Zachary Susskind, Alan T. L. Bacellar, Igor D. S. Miranda, Leandro Santiago de Araújo, Priscila M. V. Lima, Maurício Breternitz Jr., Lizy K. John, Felipe M. G. França, Diego Leonel Cadette Dutra

Proceedings of the 30th European Symposium on Artificial Neural Networks, 2022

Pruning Weightless Neural Networks.

Zachary Susskind, Alan T. L. Bacellar, Aman Arora, Luis A. Q. Villon, Renan Mendanha, Leandro Santiago de Araújo, Diego Leonel Cadette Dutra, Priscila M. V. Lima, Felipe M. G. França, Igor D. S. Miranda, Maurício Breternitz Jr., Lizy K. John

Proceedings of the 30th European Symposium on Artificial Neural Networks, 2022

Distributive Thermometer: A New Unary Encoding for Weightless Neural Networks.

Alan T. L. Bacellar, Zachary Susskind, Luis A. Q. Villon, Igor D. S. Miranda, Leandro Santiago de Araújo, Diego Leonel Cadette Dutra, Maurício Breternitz Jr., Lizy K. John, Priscila M. V. Lima, Felipe M. G. França

Proceedings of the 30th European Symposium on Artificial Neural Networks, 2022

LogicWiSARD: Memoryless Synthesis of Weightless Neural Networks.

Igor D. S. Miranda, Aman Arora, Zachary Susskind, Luis Armando Quintanilla Villon, Rafael Fontella Katopodis, Diego Leonel Cadette Dutra, Leandro Santiago de Araújo, Priscila M. V. Lima, Felipe M. G. França, Lizy K. John, Maurício Breternitz

Proceedings of the 33rd IEEE International Conference on Application-specific Systems, 2022

Weightless Neural Networks for Efficient Edge Inference.

Zachary Susskind, Aman Arora, Igor D. S. Miranda, Luis Armando Quintanilla Villon, Rafael Fontella Katopodis, Leandro Santiago de Araújo, Diego Leonel Cadette Dutra, Priscila M. V. Lima, Felipe M. G. França, Maurício Breternitz, Lizy K. John

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022

2021

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha

Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Mapping a logical representation of TSP to quantum annealing.

Carla Silva, Ana Aguiar, Priscila M. V. Lima, Inês Dutra

Quantum Inf. Process., 2021

AI from Concrete to Abstract.

Rubens Lacerda Queiroz, Fábio Ferrentini Sampaio, Cabral Lima, Priscila Machado Vieira Lima

AI Soc., 2021

LCAD - UFES at FakeDeS 2021: Fake News Detection Using Named Entity Recognition and Part-of-Speech Sequences.

Marcos A. Spalenza, Leopoldo Lusquino Filho, Felipe M. G. França, Priscila M. V. Lima, Elias de Oliveira

Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2021) co-located with the Conference of the Spanish Society for Natural Language Processing (SEPLN 2021), 2021

Functional Gradient Descent for n-Tuple Regression.

Rafael Fontella Katopodis, Priscila Lima, Felipe M. G. França

Proceedings of the 29th European Symposium on Artificial Neural Networks, 2021

A bag of nodes primer on weightless graph classification.

Raul Barbosa, Diego Carvalho, Priscila Lima, Felipe M. G. França

Proceedings of the 29th European Symposium on Artificial Neural Networks, 2021

2020

Cost-effective, Energy-efficient, and Scalable Storage Computing for Large-scale AI Applications.

Jae Young Do, Victor da Cruz Ferreira, Hossein Bobarshad, Mahdi Torabzadehkashi, Siavash Rezaei, Ali Heydarigorji, Diego Fonseca Pereira de Souza, Brunno F. Goldstein, Leandro Santiago, Min Soo Kim, Priscila M. V. Lima, Felipe M. G. França, Vladimir Castro Alves

ACM Trans. Storage, 2020

Mapping graph coloring to quantum annealing.

Carla Silva, Ana Aguiar, Priscila M. V. Lima, Inês Dutra

Quantum Mach. Intell., 2020

Weightless Neural Networks as Memory Segmented Bloom Filters.

Leandro Santiago, Letícia Dias Verona, Fábio Medeiros Rangel, Fabrício Firmino de Faria, Daniel S. Menasché, Wouter Caarls, Maurício Breternitz Jr., Sandip Kundu, Priscila M. V. Lima, Felipe M. G. França

Neurocomputing, 2020

Extending the weightless WiSARD classifier for regression.

Leopoldo Lusquino Filho, Luiz F. R. Oliveira, Aluizio Lima Filho, Gabriel P. Guarisa, Lucca M. Felix, Priscila M. V. Lima, Felipe M. G. França

Neurocomputing, 2020

AI from concrete to abstract: demystifying artificial intelligence to the general public.

Rubens Lacerda Queiroz, Fábio Ferrentini Sampaio, Cabral Lima, Priscila Machado Vieira Lima

CoRR, 2020

wisardpkg - A library for WiSARD-based models.

Aluizio S. Lima Filho, Gabriel P. Guarisa, Leopoldo Lusquino Filho, Luiz F. R. Oliveira, Felipe M. G. França, Priscila M. V. Lima

CoRR, 2020

Using NER + ML to Automatically Detect Fake News.

Marcos A. Spalenza, Elias de Oliveira, Leopoldo Lusquino Filho, Priscila M. V. Lima, Felipe M. G. França

Proceedings of the Intelligent Systems Design and Applications, 2020

Regression WiSARD application of controller on DC STATCOM converter under fault conditions.

Raphael N. C. B. Rocha, Leopoldo Lusquino Filho, Mauricio Aredes, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

Weightless Neural Networks Applied to Nonintrusive Load Monitoring.

Guilherme C. De Lello, Juliano F. Caldeira, Mauricio Aredes, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

A weightless regression system for predicting multi-modal empathy.

Leopoldo A. D. Lusquino Filho, Luiz F. R. Oliveira, Hugo C. C. Carneiro, Gabriel P. Guarisa, Aluizio Lima Filho, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the 15th IEEE International Conference on Automatic Face and Gesture Recognition, 2020

Detection of elementary particles with the WiSARD n-tuple classifier.

Pedro Xavier, Massimo De Gregorio, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the 28th European Symposium on Artificial Neural Networks, 2020

Interpretation of Model Agnostic Classifiers via Local Mental Images.

Aluizio Lima Filho, Gabriel P. Guarisa, Leopoldo Lusquino Filho, Luiz F. R. Oliveira, Carlos Alberto Nunes Cosenza, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the 28th European Symposium on Artificial Neural Networks, 2020

Fast Deep Neural Networks Convergence using a Weightless Neural Model.

Alan T. L. Bacellar, Brunno F. Goldstein, Victor da Cruz Ferreira, Leandro Santiago, Priscila M. V. Lima, Felipe M. G. França

Proceedings of the 28th European Symposium on Artificial Neural Networks, 2020

2019

The Exact VC Dimension of the WiSARD n-Tuple Classifier.

Hugo C. C. Carneiro, Carlos Eduardo Pedreira, Felipe M. G. França, Priscila M. V. Lima

Neural Comput., 2019

Action Units Classification Using ClusWiSARD.

Leopoldo Lusquino Filho, Gabriel Antoine Louis Paillard, Luiz F. R. Oliveira, Aluizio Lima Filho, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019

Sensor Data Prediction techniques for nodes in IoT (poster).

Luis Filipe Kopp, Gabriel Martins de Oliveira Costa, Claudio M. de Farias, Priscila M. V. Lima, Luiz F. R. C. Carmo

Proceedings of the 22th International Conference on Information Fusion, 2019

Modeling Sparse Data as Input for Weightless Neural Network.

Luis Filipe Kopp, José Barbosa-Filho, Priscila Machado Vieira Lima, Claudio M. de Farias

Proceedings of the 27th European Symposium on Artificial Neural Networks, 2019

Prediction of palm oil production with an enhanced n-Tuple Regression Network.

Leopoldo Lusquino Filho, Luiz F. R. Oliveira, Aluizio S. Lima Filho, Gabriel P. Guarisa, Priscila Machado Vieira Lima, Felipe Maia Galvão França

Proceedings of the 27th European Symposium on Artificial Neural Networks, 2019

Memory Efficient Weightless Neural Network using Bloom Filter.

Leandro Santiago de Araújo, Letícia Dias Verona, Fábio Medeiros Rangel, Fabrício Firmino de Faria, Daniel Sadoc Menasché, Wouter Caarls, Maurício Breternitz, Sandip Kundu, Priscila Machado Vieira Lima, Felipe Maia Galvão França

Proceedings of the 27th European Symposium on Artificial Neural Networks, 2019

2018

Playing with Robots Using Your Brain.

Rubens Lacerda Queiroz, Igor Bichara de Azeredo Coutinho, Geraldo Bonorino Xexéo, Priscila Machado Vieira Lima, Fábio Ferrentini Sampaio

Proceedings of the 17th Brazilian Symposium on Computer Games and Digital Entertainment, SBGames 2018, Foz do Iguaçu, Brazil, October 29, 2018

Weightless Neural Network for High Frequency Trading.

Samara A. Alves, Wouter Caarls, Priscila M. V. Lima

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

Near-optimal facial emotion classification using a WiSARD-based weightless system.

Leopoldo Lusquino Filho, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the 26th European Symposium on Artificial Neural Networks, 2018

2017

A universal multilingual weightless neural network tagger via quantitative linguistics.

Hugo C. C. Carneiro, Carlos Eduardo Pedreira, Felipe M. G. França, Priscila M. V. Lima

Neural Networks, 2017

Prescription of rhythmic patterns for legged locomotion.

Zhijun Yang, Daqiang Zhang, Marlon Rocha, Priscila M. V. Lima, Mehmet Karamanoglu, Felipe M. G. França

Neural Comput. Appl., 2017

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha

CoRR, 2017

Q-SATyrus: Mapping Neuro-symbolic Reasoning into an Adiabatic Quantum Computer.

Priscila M. V. Lima

Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Evaluating weightless neural networks for bias identification on news.

Rafael Dutra Cavalcanti, Priscila M. V. Lima, Massimo De Gregorio, Daniel Sadoc Menasché

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Ontology Alignment with Weightless Neural Networks.

Thais Viana, Carla Delgado, João C. P. da Silva, Priscila Lima

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2017, 2017

Automatic crime report classi cation through a weightless neural network.

Rafael Adnet Pinho, Walkir Brito, Cláudia Lage Rebello da Motta, Priscila Lima

Proceedings of the 25th European Symposium on Artificial Neural Networks, 2017

2016

Financial credit analysis via a clustering weightless neural classifier.

Douglas de O. Cardoso, Danilo S. Carvalho, Daniel S. F. Alves, Diego Fonseca Pereira de Souza, Hugo C. C. Carneiro, Carlos Eduardo Pedreira, Priscila M. V. Lima, Felipe M. G. França

Neurocomputing, 2016

Semi-Supervised Classification of Social Textual Data Using WiSARD.

Fábio Medeiros Rangel, Fabrício Firmino de Faria, Priscila M. V. Lima, Jonice Oliveira

Proceedings of the 24th European Symposium on Artificial Neural Networks, 2016

Evaluating Binary Encoding Techniques for WiSARD.

Andressa Kappaun, Karine Camargo, Fábio Medeiros Rangel, Fabrício Firmino de Faria, Priscila Machado Vieira Lima, Jonice Oliveira

Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

2015

Multilingual part-of-speech tagging with weightless neural networks.

Hugo C. C. Carneiro, Felipe M. G. França, Priscila M. V. Lima

Neural Networks, 2015

A WiSARD-based multi-term memory framework for online tracking of objects.

Daniel Nascimento, Rafael Lima de Carvalho, Félix Mora-Camino, Priscila M. V. Lima, Felipe M. G. França

Proceedings of the 23rd European Symposium on Artificial Neural Networks, 2015

Real-Time Music Tracking Based on a Weightless Neural Network.

Diego Fonseca Pereira de Souza, Felipe Maia Galvão França, Priscila M. V. Lima

Proceedings of the Ninth International Conference on Complex, 2015

2014

A hyperbolic smoothing approach to the Multisource Weber problem.

Vinicius Layter Xavier, Felipe M. G. França, Adilson Elias Xavier, Priscila M. V. Lima

J. Glob. Optim., 2014

A Method for Verifying the Consistency of Business Rules Using Alloy.

Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima, Alexandre L. Correa

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

A legged central pattern generation model for autonomous gait transition.

Zhijun Yang, Marlon Rocha, Priscila M. V. Lima, Mehmet Karamanoglu, Felipe Maia Galvão França

Proceedings of the 2014 International Joint Conference on Neural Networks, 2014

Advances on Weightless Neural Systems.

Massimo De Gregorio, Felipe M. G. França, Priscila M. V. Lima, Wilson Rosa de Oliveira

Proceedings of the 22th European Symposium on Artificial Neural Networks, 2014

Online tracking of multiple objects using WiSARD.

Rafael Lima de Carvalho, Danilo S. Carvalho, Priscila M. V. Lima, Félix Mora-Camino, Felipe M. G. França

Proceedings of the 22th European Symposium on Artificial Neural Networks, 2014

Credit analysis with a clustering RAM-based neural classifier.

Douglas de O. Cardoso, Danilo S. Carvalho, Daniel S. F. Alves, Diego Fonseca Pereira de Souza, Hugo C. C. Carneiro, Carlos Eduardo Pedreira, Priscila M. V. Lima, Felipe M. G. França

Proceedings of the 22th European Symposium on Artificial Neural Networks, 2014

Spatio-temporal Pattern Classification with KernelCanvas and WiSARD.

Diego Fonseca Pereira de Souza, Felipe Maia Galvão França, Priscila Machado Vieira Lima

Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

Extracting Semantic Information from Patent Claims Using Phrasal Structure Annotations.

Danilo Silva de Carvalho, Felipe Maia Galvão França, Priscila Machado Vieira Lima

Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

2013

B-bleaching: Agile Overtraining Avoidance in the WiSARD Weightless Neural Classifier.

Danilo S. Carvalho, Hugo C. C. Carneiro, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the 21st European Symposium on Artificial Neural Networks, 2013

WIPS: the WiSARD Indoor Positioning System.

Douglas de O. Cardoso, João Gama, Massimo De Gregorio, Felipe M. G. França, Maurizio Giordano, Priscila M. V. Lima

Proceedings of the 21st European Symposium on Artificial Neural Networks, 2013

2012

A Weightless Neural Network-Based Approach for Stream Data Clustering.

Douglas de O. Cardoso, Massimo De Gregorio, Priscila Machado Vieira Lima, João Gama, Felipe Maia Galvão França

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2012, 2012

The Effect of Intelligent Escape on Distributed SER-Based Search.

Daniel S. F. Alves, Felipe M. G. França, Luiza de Macedo Mourelle, Nadia Nedjah, Priscila M. V. Lima

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge.

Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2012, 2012

Recognition of HIV-1 subtypes and antiretroviral drug resistance using weightless neural networks.

Caio Souza, Flavio Nobre, Priscila M. V. Lima, Robson Silva, Rodrigo Brindeiro, Felipe M. G. França

Proceedings of the 20th European Symposium on Artificial Neural Networks, 2012

2011

Compact Crossbar Variable Binding for Neuro-Symbolic Computation.

Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen

Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

Clustering data streams with weightless neural networks.

Douglas de O. Cardoso, Priscila M. V. Lima, Massimo De Gregorio, João Gama, Felipe M. G. França

Proceedings of the 19th European Symposium on Artificial Neural Networks, 2011

2010

Producing pattern examples from "mental" images.

Bruno P. A. Grieco, Priscila M. V. Lima, Massimo De Gregorio, Felipe M. G. França

Neurocomputing, 2010

A Distributed Dynamics for WebGraph Decontamination.

Vanessa C. F. Gonçalves, Priscila M. V. Lima, Nelson Maculan, Felipe M. G. França

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

WANN-Tagger - A Weightless Artificial Neural Network Tagger for the Portuguese Language.

Hugo C. C. Carneiro, Felipe M. G. França, Priscila M. V. Lima

Proceedings of the ICFC-ICNC 2010, 2010

2009

Extracting fuzzy rules from "mental" images generated by a modified WISARD perceptron.

Bruno P. A. Grieco, Priscila Machado Vieira Lima, Massimo De Gregorio, Felipe Maia Galvão França

Proceedings of the 17th European Symposium on Artificial Neural Networks, 2009

A brief introduction to Weightless Neural Systems.

Igor Aleksander, Massimo De Gregorio, Felipe Maia Galvão França, Priscila Machado Vieira Lima, Helen Morton

Proceedings of the 17th European Symposium on Artificial Neural Networks, 2009

2008

Logical Reasoning via Satisfiability Mapped into Energy Functions.

Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Glaucia C. Pereira, Talita O. Ferreira, Felipe Maia Galvão França

Int. J. Pattern Recognit. Artif. Intell., 2008

Hardware Supported Synchronization Primitives for Clusters.

Alberto Ferreira de Souza, Sotério Ferreira de Souza, Claudio Luis de Amorim, Priscila M. V. Lima, Peter Rounce

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

The Influence of Order on a Large Bag of Words.

Charles B. do Prado, Felipe M. G. França, Ramon Diacovo, Priscila Machado Vieira Lima

Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008

2007

Logic as Energy: A SAT-Based Approach.

Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Felipe M. G. França

Proceedings of the Advances in Brain, 2007

2006

Uma Abordagem para a Transformação Automática do Modelo de Negócio em Modelo de Requisitos.

Felipe G. Dias, Gisele P. Morgado, Pedro Oscar, Denis Silva da Silveira, Antonio Juarez Alencar, Priscila Lima, Eber A. Schmitz

Proceedings of the Anais do WER06, 2006

RAPDIS: Um Processo MDA para Desenvolvimento de Sistemas de Informação.

Gisele P. Morgado, Denis Silva da Silveira, Antonio J. Alencar, Priscila Lima, Eber A. Schmitz

Proceedings of the 3rd Brazilian Symposium on Information Systems, 2006

2005

SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing.

Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Glaucia C. Pereira, Felipe Maia Galvão França

Proceedings of the 5th International Conference on Hybrid Intelligent Systems (HIS 2005), 2005

Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints.

Priscila Machado Vieira Lima, Glaucia C. Pereira, M. Mariela Morveli-Espinoza, Felipe M. G. França

Proceedings of the Brain, 2005

2004

Um Ambiente para Modelagem Organizacional Baseado em Regras de Negócio.

Felipe G. Dias, Gisele P. Morgado, Alissandra E. Martins, Célia M. Seabra, Denis Silva da Silveira, Antonio J. Alencar, Priscila M. V. Lima, Eber A. Schmitz

Proceedings of the 1st Brazilian Symposium on Information Systems, 2004

2001

A Goal-Driven Neural Propositional Interpreter.

Priscila Machado Vieira Lima

Int. J. Neural Syst., 2001

Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover.

Iara Moema Oberg Vilela, Priscila Machado Vieira Lima

Proceedings of the Connectionist Models of Neurons, 2001

2000

A Neural Propositional Reasoner that is Goal-Driven and Works without Pre-Compiled Knowledge.

Priscila Machado Vieira Lima

Proceedings of the 6th Brazilian Symposium on Neural Networks (SBRN 2000), 2000

1994

Resolution-Based Inference with Artificial Neural Networks.

Priscila Machado Vieira Lima

Proceedings of the ICLP 1994 Workshop W3: Logic and Reasoning with Neural Networks, 1994

1990

On the Distributed Parallel Simulation of Hopfield's Neural Networks.

Valmir Carneiro Barbosa, Priscila Machado Vieira Lima

Softw. Pract. Exp., 1990