11862 search results - page 36 / 2373 » Relative information completeness |
118
click to vote
FASE
2010
Springer
15 years 9 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...
119
click to vote
CORR
2008
Springer
15 years 2 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...
139
Voted
SAC
1997
ACM
15 years 6 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...
110
click to vote
EMNLP
2006
15 years 3 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
15 years 10 days 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].