Sciweavers

2239 search results - page 172 / 448
» Computing with abstract matrix structures
Sort
View
233
Voted
ENTCS
2006
273views more  ENTCS 2006»
15 years 3 months ago
Operator Algebras and the Operational Semantics of Probabilistic Languages
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
Alessandra Di Pierro, Herbert Wiklicky
140
Voted
JCT
2010
81views more  JCT 2010»
15 years 1 months ago
q-Partition algebra combinatorics
We study a q-analog Qr(n, q) of the partition algebra Pr(n). The algebra Qr(n, q) arises as the centralizer algebra of the finite general linear group GLn(Fq) acting on a vector ...
Tom Halverson, Nathaniel Thiem
152
Voted
TIT
2010
107views Education» more  TIT 2010»
14 years 10 months ago
Information inequalities for joint distributions, with interpretations and applications
Upper and lower bounds are obtained for the joint entropy of a collection of random variables in terms of an arbitrary collection of subset joint entropies. These inequalities gene...
Mokshay M. Madiman, Prasad Tetali
138
Voted
CORR
2011
Springer
214views Education» more  CORR 2011»
14 years 7 months ago
Convex Approaches to Model Wavelet Sparsity Patterns
Statistical dependencies among wavelet coefficients are commonly represented by graphical models such as hidden Markov trees (HMTs). However, in linear inverse problems such as d...
Nikhil S. Rao, Robert D. Nowak, Stephen J. Wright,...
135
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
Lackwit: A Program Understanding Tool Based on Type Inference
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
Robert O'Callahan, Daniel Jackson