Sciweavers

1024 search results - page 79 / 205
» Compositional Methods for Probabilistic Systems
Sort
View
ICDE
2008
IEEE
160views Database» more  ICDE 2008»
14 years 9 months ago
Exploiting Lineage for Confidence Computation in Uncertain and Probabilistic Databases
We study the problem of computing query results with confidence values in ULDBs: relational databases with uncertainty and lineage. ULDBs, which subsume probabilistic databases, o...
Anish Das Sarma, Martin Theobald, Jennifer Widom
JCDL
2006
ACM
92views Education» more  JCDL 2006»
14 years 1 months ago
Probabilistic, object-oriented logics for annotation-based retrieval in digital libraries
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
Ingo Frommholz, Norbert Fuhr
ICIP
2007
IEEE
14 years 9 months ago
Joint Segmentation and Recognition of License Plate Characters
The segmentation and recognition modules are usually implemented sequentially in most traditional automatic license recognition (LPR) systems. In this work, we integrate segmentat...
Xin Fan, Guoliang Fan, Dequn Liang
ISAMI
2010
13 years 5 months ago
Employing Compact Intra-genomic Language Models to Predict Genomic Sequences and Characterize Their Entropy
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
Sérgio A. D. Deusdado, Paulo Carvalho
CORR
2011
Springer
222views Education» more  CORR 2011»
13 years 3 months ago
Generic Trace Logics
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
Christian Kissig, Alexander Kurz