233 search results - page 21 / 47 » An Existential Locality Theorem |
SEBD
2007
13 years 10 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
CSL
2004
Springer
14 years 2 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
APAL
2006
13 years 8 months ago
2006
This paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second prefra...
LATIN
2004
Springer
14 years 2 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
ICASSP
2011
IEEE
13 years 11 days ago
2011
IEEE
—In this paper we investigate the local probability density function (pdf) of natural signals in sparse domains. The statistical properties of natural signals are characterized m...