Search Sciweavers | Sciweavers

1636 search results - page 7 / 328

» Reasoning About Quantum Systems

click to vote

LANMR
2004

103views Logical Reasoning» more LANMR 2004»

Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming

14 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...

Isabella Cattinelli, Maria Luisa Damiani, Andrea N...

claim paper

Read More »

click to vote

VLDB
1994
ACM

102views Database» more VLDB 1994»

Reasoning About Spatial Relationships in Picture Retrieval Systems

15 years 1 months ago

Download www.vldb.org

In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...

A. Prasad Sistla, Clement T. Yu, R. Haddad

claim paper

Read More »

click to vote

ISTA
2001

95views Information Technology» more ISTA 2001»

Reasoning about the Role of Information Systems in Trusting Decisions

14 years 11 months ago

Download subs.emis.de

: The interest in the study of trust has grown steadily since 1990 in a wide range of scholarly disciplines. The science of information systems is no exception, since the concepts ...

Primoz Perc

claim paper

Read More »

click to vote

PARCO
2007

81views Distributed And Parallel Com...» more PARCO 2007»

A Framework for Prototyping and Reasoning about Distributed Systems

14 years 11 months ago

Download www.fz-juelich.de

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

claim paper

Read More »