11862 search results - page 36 / 2373 » Relative information completeness |
FASE
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
SAC
1997
ACM
13 years 11 months ago
1997
ACM
Infomaster is an information integration system. It provides integrated access to distributed, heterogeneous information sources, thus giving its users the illusion of a centraliz...
EMNLP
2006
13 years 9 months ago
2006
Co-occurrence analysis has been used to determine related words or terms in many NLP-related applications such as query expansion in Information Retrieval (IR). However, related w...
ISITA
2010
13 years 5 months ago
2010
We give a trace inequality related to the uncertainty relation of generalized Wigner-Yanase-Dyson skew information which includes our result in [16].