Sciweavers

1024 search results - page 15 / 205
» Value complete, column complete, predicate complete
Sort
View
JOLLI
2002
141views more  JOLLI 2002»
13 years 10 months ago
Naming Worlds in Modal and Temporal Logic
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
Dov M. Gabbay, G. Malod
ICDT
2007
ACM
126views Database» more  ICDT 2007»
14 years 5 months ago
Containment of Conjunctive Queries over Databases with Null Values
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...
Carles Farré, Werner Nutt, Ernest Teniente,...
EUSFLAT
2007
108views Fuzzy Logic» more  EUSFLAT 2007»
14 years 10 days ago
Lattice-Valued Possibilistic Entropy Functions
Lattice-valued entropy functions defined by a lattice-valued possibilistic distribution π on a space Ω are defined as the expected value (in the sense of Sugeno integral) of ...
Ivan Kramosil
BMCBI
2005
93views more  BMCBI 2005»
13 years 10 months ago
Computing expectation values for RNA motifs using discrete convolutions
Background: Computational biologists use Expectation values (E-values) to estimate the number of solutions that can be expected by chance during a database scan. Here we focus on ...
André Lambert, Matthieu Legendre, Jean-Fred...
JMM2
2008
130views more  JMM2 2008»
13 years 11 months ago
A Robust Image Watermarking Scheme using Singular Value Decomposition
This paper presents a robust image watermarking scheme for multimedia copyright protection. In this work, host image is partitioned into four sub images. Watermark image such as `l...
B. Chandra Mohan, S. Srinivas Kumar