Paulo Pinheiro

TrustMap: Towards Trust Recommendations for Maps (2009)

Paulo Pinheiro, Silva Nicholas, Del Rio, Vladik Kreinovich, Alejandro Castãneda

Abstract. The web is a rich environment for exchanging spatial information. When spatial information is shared in the form of images, i.e., maps, these images almost never come with meta-information...

Extracting Trust Network Information from Scientific Web Portals (2009)

Alejandro Castañeda, Paulo Pinheiro, Da Silva

Abstract. An increased exchange of (scientific) information across organizations and disciplines is one of the long-term goals of the semantic web. In any such exchange of information, it is not...

TrustMap: Towards Trust Recommendations for Maps (2009)

Paulo Pinheiro, Silva Nicholas, Del Rio, Vladik Kreinovich, Alejandro Castãneda

Abstract. The web is a rich environment for exchanging spatial information. When spatial information is shared in the form of images, i.e., maps, these images almost never come with meta-information...

Calculation of health expectancies with administrative data for North Rhine-Westphalia, a Federal State of Germany, 1999–2005 (2009)

Pinheiro, Paulo, Krämer, Alexander

Abstract Objectives The main objectives of this study were to prove the feasibility of health expectancy analyses with regional administrative health statistics and to explore the utility of the...

feature user interfaces User Interface Modeling (2008)

In Umli, Paulo Pinheiro

Although user interfaces represent an essential part of software systems, the Unified Modeling Language seems to have been developed with little specific attention given to user interface issues. You...

A Proof Markup Language for Semantic Web Services (2008)

Paulo Pinheiro, Silva Deborah, L. Mcguinness, Richard Fikes

Web services propose that they provide the means for remote interoperable access of components and software systems. However, successful inter-operation between components that do anything more than...

Characterizing a Synthetic Workload for Performance Evaluation during theMigration of a Legacy System* (2008)

Paulo Pinheiro, Silva Alberto, H. F. Laender, Paulo B. Golgher

Abstract This paper describes the characterisation of a syntheticworkload for performance evaluation of a new system before replacing a legacy system. The workload is used byCAPPLES, a capacity...

Knowledge Provenance Infrastructure (2008)

Paulo Pinheiro, Silva Deborah, L. Mcguinness, Rob Mccool

The web lacks support for explaining information provenance. When web applications return answers, many users do not know what information sources were used, when they were updated, how reliable the...

A Proof Markup Language for Semantic Web Services (2007)

Paulo Pinheiro, Silva Deborah, L. Mcguinness, Richard Fikes

Web services propose that they provide the means for remote interoperable access of components and software systems. However, successful inter-operation between components that do anything more than...

Combinable Proof Fragments for the Web (2007)

Paulo Pinheiro, Silva Deborah, L. Mcguinness, Richard Fikes

Web applications must deal with a rapidly evolving, distributed, heterogeneous environment of information and reasoning services. Many applications obtain information from multiple sources and thus...

Generating User Interface Code from Declarative Models: The Teallach Approach (2007)

Paulo Pinheiro, Silva Tony Griffiths, Norman W. Paton

Declarative models can provide abstract descriptions of user interfaces. Therefore, it is desirable to use declarative models for designing user interfaces since complex details of the user...

Characterizing a Synthetic Workload for Performance Evaluation during the Migration of a Legacy System ∗ (2007)

Paulo Pinheiro, Silva Alberto, H. F. Laender

This paper describes the characterisation of a synthetic workload for performance evaluation of a new system before replacing a legacy system. The workload is used by CAPPLES, a capacity planning and...

Combinable Proof Fragments for the Web (2007)

Paulo Pinheiro, Silva Deborah, L. Mcguinness, Richard Fikes

Web applications must deal with a rapidly evolving, distributed, heterogeneous environment of information and reasoning services. Many applications obtain information from multiple sources and thus...

A Proof Markup Language for Semantic Web Services (2007)

Paulo Pinheiro, Silva Deborah, L. Mcguinness, Richard Fikes

Web services propose that they provide the means for remote interoperable access of components and software systems. However, successful inter-operation between components that do anything more than...

Além do Bem e do Mal no mundo virtual (2006)

Paulo Pinheiro

In this article the author refl ects upon philosophical questions raised by Nietzsche and in the context of contemporary technology, mainly the Internet.  

IWTrust: Improving User Trust in Answers from the Web (2005)

Ilya Zaihrayeu, Deborah L. Mcguinness, Ilya Zaihrayeu, Paulo Pinheiro, Silva Deborah, ...

Abstract. Question answering systems users may find answers without any supporting information insufficient for determining trust levels. Once those question answering systems begin to rely on source...

Exposing Extracted Knowledge Supporting Answers. Stanford Knowledge Systems Laboratory Technical 12 (2005)

Deborah L. Mcguinness, Paulo Pinheiro, Silva J. William, Murdock David Ferrucci

As more systems rely on knowledge bases built from automatic and semi-automatic methods, it is becoming more important to provide solutions that not only answer questions but also provide information...

IWTrust: Improving User Trust in Answers from the Web (2005)

Ilya Zaihrayeu, Paulo Pinheiro, Silva Deborah, L. Mcguinness

Abstract. Question answering systems users may find answers without any supporting information insufficient for determining trust levels. Once those question answering systems begin to rely on source...

Generating User Interface Code from Declarative Models: The Teallach Approach (1999)

Paulo Pinheiro, Silva Tony Griffiths, Norman W. Paton

Abstract Declarative models can provide abstract descriptions of user interfaces. Therefore, it is desirable to use declarative models for designing user interfaces since complex details of the user...