Diálogo poético: João Cabral e Sophia Breyner

Sophia Antipolis

Iterative Bayes João

Naive Bayes is a well-known and studied algorithm both in statistics and machine learning. Bayesian learning algorithms represent each concept with a single probabilistic summary. In this paper we present an iterative approach to naive Bayes. The Iterative Bayes begins with the distribution tables built by the naive Bayes. Those tables are iteratively updated in order to improve the probability...

SOPHIA in Enterprise Track

W3C collection contains documents of different types. In our experiments we used only two document types: www and lists. Examples of www documents are drafts and final versions of official W3C documents, slides from presentations given by W3C members and so on. Documents of lists type are e-mails. We split www documents into parts, based on 1000 word long segments and considered every part as a...

Walter Carnielli , Marcelo E . Coniglio and João Marcos Logics of Formal Inconsistency

In traditional logic, contradictoriness (the presence of contradictions in a theory or in a body of knowledge) and triviality (the fact that such a theory entails all possible consequences) are assumed inseparable, granted that negation is available. This is an effect of an ordinary logical feature known as ‘explosiveness’: According to it, from a contradiction ‘α and ¬α’ everything is derivabl...

Statement João Dias December , 2009

Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of the back end—the instruction selector—must be written by a person who is expert in both the compiler’s intermediate code and the target machine’s instruction set. By generating the instruction selector from declarative...