Sciweavers

3713 search results - page 226 / 743
» Quantum Information Theory
Sort
View
ENTCS
2008
92views more  ENTCS 2008»
13 years 10 months ago
Redundancy Elimination for LF
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
Jason Reed
CGF
2000
150views more  CGF 2000»
13 years 10 months ago
Perceptual Principles and Computer Graphics
Now that technology allows us to present photorealistic animations of scenically lit objects acting in realtime, the problem of computer graphics has changed from making displays ...
Jon May
WWW
2011
ACM
13 years 5 months ago
A demo search engine for products
Most product search engines today build on models of relevance devised for information retrieval. However, the decision mechanism that underlies the process of buying a product is...
Beibei Li, Anindya Ghose, Panagiotis G. Ipeirotis
TIT
1998
102views more  TIT 1998»
13 years 10 months ago
On Characterization of Entropy Function via Information Inequalities
—Given n discrete random variables = fX1;111; Xng, associated with any subset of f1; 2; 111; ng, there is a joint entropy H(X ) where X = fXi:i 2 g. This can be viewed as a f...
Zhen Zhang, Raymond W. Yeung
DALT
2006
Springer
14 years 2 months ago
When Agents Communicate Hypotheses in Critical Situations
This paper discusses the problem of efficient propagation of uncertain information in dynamic environments and critical situations. When a number of (distributed) agents have only ...
Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson