3713 search results - page 225 / 743 » Quantum Information Theory |
SIGIR
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we introduce an information theoretic method for estimating the usefulness of the hyperlink structure induced from the set of retrieved documents. We evaluate the e...
ICFP
2012
ACM
12 years 23 days ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
TAMC
2009
Springer
14 years 4 months ago
2009
Springer
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
MAMMO
2010
Springer
13 years 8 months ago
2010
Springer
Recently, detective quantum efficiency (DQE) arising from the concept of signal-to-noise ratio (SNR) has been used for assessing digital x-ray imaging systems. Using a phase-shift ...
SEFM
2005
IEEE
14 years 4 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...