Sciweavers

238 search results - page 20 / 48
» On Tractability and Congruence Distributivity
Sort
View
ICASSP
2011
IEEE
13 years 2 months ago
The Bayesian inference of phase
Bayesian recursive inference of phase in additive Gaussian noise environments is studied. A tractable conjugate system is established using a von Mises distribution. Its shaping p...
Anthony Quinn, Jean-Pierre Barbot, Pascal Larzabal
FM
1999
Springer
107views Formal Methods» more  FM 1999»
14 years 3 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
ICCS
2007
Springer
14 years 22 days ago
Hypermedia Discourse: Contesting Networks of Ideas and Arguments
This invited contribution motivates the Hypermedia Discourse research programme, investigating the reading, writing and contesting of ideas as hypermedia networks grounded in disco...
Simon Buckingham Shum
IWOCA
2010
Springer
232views Algorithms» more  IWOCA 2010»
13 years 5 months ago
Computing Role Assignments of Proper Interval Graphs in Polynomial Time
A homomorphism from a graph G to a graph R is locally surjective if its restriction to the neighborhood of each vertex of G is surjective. Such a homomorphism is also called an R-r...
Pinar Heggernes, Pim van 't Hof, Daniël Paulu...
JMLR
2010
128views more  JMLR 2010»
13 years 5 months ago
Fluid Dynamics Models for Low Rank Discriminant Analysis
We consider the problem of reducing the dimensionality of labeled data for classification. Unfortunately, the optimal approach of finding the low-dimensional projection with minim...
Yung-Kyun Noh, Byoung-Tak Zhang, Daniel D. Lee