Fernando Pereira

Luís Fabrício Wanderley Góes

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

Hapi: A Domain-Specific Language for the Declaration of Access Policies.

[BibT_eX]

[DOI]

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

Inlining for Code Size Reduction.

[BibT_eX]

[DOI]

Thaís Damásio

Vinícius Pacheco

Rodrigo Rocha

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

2019

Novel Design of the Converter for an Active UPS Application Based on Marx Modulator Concept with Supercapacitors.

[BibT_eX]

[DOI]

Proceedings of the Technological Innovation for Industry and Service Systems, 2019

2018

Adoption of Architecture Reference Models for Industrial Information Management Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Intelligent Systems, 2018

A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

2017

The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2017

Automatic detection of TV commercial blocks: A new approach based on digital on-screen graphics classification.

[BibT_eX]

[DOI]

Alexandre Gomes

Maria Paula Queluz

Proceedings of the 11th International Conference on Signal Processing and Communication Systems, 2017

2016

Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification.

[BibT_eX]

[DOI]

Proceedings of the Technological Innovation for Cyber-Physical Systems, 2016

The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development.

[BibT_eX]

[DOI]

Proceedings of the IECON 2016, 2016

Technical program chairs' overview.

[BibT_eX]

[DOI]

Gaurav Sharma

Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

2015

Multinomial Loss on Held-out Data for the Sparse Non-negative Matrix Language Model.

[BibT_eX]

[DOI]

Ciprian Chelba

CoRR, 2015

Yedalog: Exploring Knowledge at Scale.

[BibT_eX]

[DOI]

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Executable models for Embedded Controllers Development - A Cloud Based Development Framework.

[BibT_eX]

[DOI]

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Remote operation of embedded controllers designed using IOPT Petri-nets.

[BibT_eX]

[DOI]

Arildo Melo

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers.

[BibT_eX]

[DOI]

Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015

2013

Large Scale Distributed Acoustic Modeling With Back-Off ℕ-Grams.

[BibT_eX]

[DOI]

IEEE Trans. Speech Audio Process., 2013

Minimalist Architecture to Generate Embedded System Web User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Technological Innovation for the Internet of Things, 2013

Automatic synthesis of VHDL hardware components from IOPT Petri net models.

[BibT_eX]

[DOI]

Proceedings of the IECON 2013, 2013

IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

E-readers: Fatores que influenciam a intenção de adoção.

[BibT_eX]

[DOI]

Adrianne Andrade

Anatália Ramos

Proceedings of the CONF-IRM 2013, 2013

2012

Model-checking framework for embedded systems controllers development using IOPT Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012

A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Technological Innovation for Value Creation, 2012

Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

Distributed acoustic modeling with back-off n-grams.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

2011

Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Technological Innovation for Sustainability, 2011

2010

Technical Program Chairs' overview.

[BibT_eX]

[DOI]

Wai-kuen Cham

Proceedings of the International Conference on Image Processing, 2010

2009

Answering Web Questions Using Structured Data - Dream or Reality?

[BibT_eX]

[DOI]

Anand Rajaraman

Sunita Sarawagi

William Tunstall-Pedoe

Gerhard Weikum

Alon Y. Halevy

Proc. VLDB Endow., 2009

The Unreasonable Effectiveness of Data.

[BibT_eX]

[DOI]

Alon Y. Halevy

Peter Norvig

IEEE Intell. Syst., 2009

2007

Structured Learning with Approximate Inference.

[BibT_eX]

[DOI]

Alex Kulesza

Proceedings of the Advances in Neural Information Processing Systems 20, 2007

2004

ATDD: An Algorithmic Tool for Domain Discovery in Protein Sequences.

[BibT_eX]

[DOI]

Proceedings of the Algorithms in Bioinformatics, 4th International Workshop, 2004

2003

Universal multimedia experiences for tomorrow.

[BibT_eX]

[DOI]

Ian S. Burnett

IEEE Signal Process. Mag., 2003

Topic Introduction.

[BibT_eX]

[DOI]

Abdulmotaleb El-Saddik

Roy Friedman

László Böszörményi

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2000

Visual data representation: Recent achievements and future developments.

[BibT_eX]

[DOI]

Proceedings of the 10th European Signal Processing Conference, 2000

1996

Very low bitrate video coding and MPEG-4: Still a good relation.

[BibT_eX]

[DOI]

Proceedings of the 8th European Signal Processing Conference, 1996

1995

Design of a linguistic postprocessor using variable memory length Markov models.

[BibT_eX]

[DOI]

Isabelle Guyon

Proceedings of the Third International Conference on Document Analysis and Recognition, 1995

1992

Empirical properties of finite state approximations for phrase structure grammars.

[BibT_eX]

[DOI]

David B. Roe

Proceedings of the Second International Conference on Spoken Language Processing, 1992

1990

Finite-State Approximations of Grammars.

[BibT_eX]

[DOI]