Sciweavers

3563 search results - page 191 / 713
» Information theory in neuroscience
Sort
View
SEFM
2005
IEEE
16 years 2 days ago
Counting Interface Automata and their Application in Static Analysis of Actor Models
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...
Ernesto Wandeler, Jörn W. Janneck, Edward A. ...
ENTCS
2008
92views more  ENTCS 2008»
15 years 6 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»
15 years 6 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
15 years 1 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»
15 years 6 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