Sciweavers

2143 search results - page 188 / 429
» corr 2010
Sort
View
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 6 months ago
The theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
Bertrand Meyer
CORR
2010
Springer
211views Education» more  CORR 2010»
15 years 6 months ago
Studying the Feasibility and Importance of Software Testing: An Analysis
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...
S. S. Riaz Ahamed
CORR
2010
Springer
142views Education» more  CORR 2010»
15 years 6 months ago
Graph Zeta Function in the Bethe Free Energy and Loopy Belief Propagation
We propose a new approach to the analysis of Loopy Belief Propagation (LBP) by establishing a formula that connects the Hessian of the Bethe free energy with the edge zeta functio...
Yusuke Watanabe, Kenji Fukumizu
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 6 months ago
Bounded Rationality, Strategy Simplification, and Equilibrium
It is frequently suggested that predictions made by game theory could be improved by considering computational restrictions when modeling agents. Under the supposition that player...
Hubie Chen
CORR
2010
Springer
173views Education» more  CORR 2010»
15 years 6 months ago
Towards Conceptual Multidimensional Design in Decision Support Systems
Multidimensional databases support efficiently on-line analytical processing (OLAP). In this paper, we depict a model dedicated to multidimensional databases. The approach we prese...
Olivier Teste