Priscila Machado Vieira Lima
Priscila Machado Vieira Lima
Professora de Ciência da Computação, Universidade Federal do Rio de Janeiro
Verified email at nce.ufrj.br
TitleCited byYear
A brief introduction to Weightless Neural Systems.
I Aleksander, M De Gregorio, FMG França, PMV Lima, H Morton
ESANN, 299-305, 2009
942009
On the distributed parallel simulation of Hopfield's neural networks
VC Barbosa, P Lima
Software: Practice and Experience 20 (10), 967-983, 1990
381990
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation
TR Besold, AA Garcez, S Bader, H Bowman, P Domingos, P Hitzler, ...
arXiv preprint arXiv:1711.03902, 2017
372017
Multilingual part-of-speech tagging with weightless neural networks
PMVL Hugo C.C. Carneiro, Felipe M.G. França
Neural Networks 66, 11-21, 2015
352015
Uma Abordagem para a Transformação Automática do Modelo de Negócio em Modelo de Requisitos.
F Dias, G Morgado, P Oscar, DS da Silveira, AJ Alencar, P Lima, ...
WER, 51-60, 2006
292006
Resolution-Based Inference with Artificial Neural Networks.
PMV Lima
ICLP Workshop: Logic and Reasoning with Neural Networks, 1994
20*1994
SATyrus: a SAT-based neuro-symbolic architecture for constraint processing
PMV Lima, MM Morveli-Espinoza, GC Pereira, FMG Franga
Hybrid Intelligent Systems, 2005. HIS'05. Fifth International Conference on …, 2005
152005
A weightless neural network-based approach for stream data clustering
D Cardoso, M De Gregorio, P Lima, J Gama, F França
International Conference on Intelligent Data Engineering and Automated …, 2012
132012
Mapping and combining combinatorial problems into energy landscapes via pseudo-boolean constraints
PMV Lima, GC Pereira, MMM Morveli-Espinoza, FMG França
International Symposium on Brain, Vision, and Artificial Intelligence, 308-317, 2005
102005
Optimized RFV analysis
A Juarez Alencar, E Martins Ribeiro, A Leite Ferreira, E Assis Schmitz, ...
Marketing Intelligence & Planning 24 (2), 106-118, 2006
9*2006
A method for verifying the consistency of business rules using alloy
D dos Santos Guimarães, PM Lima, AL Correa, EA Schmitz, AJ Alencar
Proceedings of the Twenty-Sixth International Conference on Software …, 2014
82014
A distributed dynamics for webgraph decontamination
VCF Gonçalves, PMV Lima, N Maculan, FMG França
International Symposium On Leveraging Applications of Formal Methods …, 2010
82010
Um Ambiente para Modelagem Organizacional Baseado em Regras de Negócio
F Dias, GP MORGADO, AE MARTINS, CM SEABRA, DS SILVEIRA, ...
I Simpósio Brasileiro de Sistemas de Informação, Porto Alegre, RS, Brasil, 2004
8*2004
Extracting semantic information from patent claims using phrasal structure annotations
DS De Carvalho, FMG França, P Lima
Intelligent Systems (BRACIS), 2014 Brazilian Conference on, 31-36, 2014
62014
Representing, binding, retrieving and unifying relational knowledge using pools of neural binders
G Pinkas, P Lima, S Cohen
Biologically Inspired Cognitive Architectures 6, 87-95, 2013
62013
A dynamic binding mechanism for retrieving and unifying complex predicate-logic knowledge
G Pinkas, P Lima, S Cohen
International Conference on Artificial Neural Networks, 482-490, 2012
62012
Semi-supervised classification of social textual data using wisard
F Rangel, F Faria, PMV Lima, J Oliveira
ESANN. Citeseer, 2016
52016
Spatio-temporal pattern classification with kernelcanvas and wisard
DFP de Souza, FMG França, PMV Lima
2014 Brazilian Conference on Intelligent Systems (BRACIS), 228-233, 2014
52014
A neural propositional reasoner that is goal-driven and works without pre-compiled knowledge
P Lima
Neural Networks, 2000. Proceedings. Sixth Brazilian Symposium on, 261-266, 2000
42000
Evaluating Binary Encoding Techniques for WiSARD
A Kappaun, K Camargo, F Rangel, F Firmino, PMV Lima, J Oliveira
Intelligent Systems (BRACIS), 2016 5th Brazilian Conference on, 103-108, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20