Sciweavers

6 search results - page 1 / 2
» Towards a logical reconstruction of a theory for locally clo...
Sort
View
TODS
2010
89views more  TODS 2010»
13 years 3 months ago
Towards a logical reconstruction of a theory for locally closed databases
Marc Denecker, Alvaro Cortés-Calabuig, Maur...
CAS
1999
92views more  CAS 1999»
13 years 4 months ago
Towards a Logical Reconstruction of Information Retrieval Theory
We here expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of...
Fabrizio Sebastiani
JANCL
2006
123views more  JANCL 2006»
13 years 4 months ago
Approximate databases: a support tool for approximate reasoning
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
Patrick Doherty, Martin Magnusson, Andrzej Szalas
PODS
2008
ACM
158views Database» more  PODS 2008»
14 years 4 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
BMCBI
2010
110views more  BMCBI 2010»
13 years 4 months ago
Towards the systematic discovery of signal transduction networks using phosphorylation dynamics data
Background: Phosphorylation is a ubiquitous and fundamental regulatory mechanism that controls signal transduction in living cells. The number of identified phosphoproteins and th...
Haruna Imamura, Nozomu Yachie, Rintaro Saito, Yasu...