1488 search results - page 238 / 298 » Measuring Semantic Coverage |
118
click to vote
ENTCS
2007
15 years 2 months ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
96
Voted
ENTCS
2007
15 years 2 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
158
Voted
MSCS
2006
15 years 2 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
128
click to vote
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
We introduce the posterior probabilistic clustering (PPC), which provides a rigorous posterior probability interpretation for Nonnegative Matrix Factorization (NMF) and removes th...
119
click to vote
IJIS
2007
15 years 2 months ago
2007
In this paper, we introduce principles for ontology-based querying of information bases. We consider a framework in which a basis ontology over atomic concepts in combination with ...