Sciweavers

782 search results - page 57 / 157
» Numerical Recipes in C
Sort
View
IJCAI
2007
13 years 9 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
PDPTA
2008
13 years 9 months ago
A Parallel Processing Architecture for Solving Large-Scale Linear Systems
Solving linear systems with a large number of variables is at the core of many scienti c problems. Parallel processing techniques for solving such systems have received much attent...
Arun Nagari, Itamar Elhanany, Ben Thompson, Fangxi...
WEBIST
2008
13 years 9 months ago
Transforming a Competency Model to Parameterised Questions in Assessment
The problem of comparing and matching different learners' knowledge arises when assessment systems use a one-dimensional numerical value to represent "knowledge level&quo...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis
IPCO
2004
107views Optimization» more  IPCO 2004»
13 years 9 months ago
A Robust Optimization Approach to Supply Chain Management
Abstract. We propose a general methodology based on robust optimization to address the problem of optimally controlling a supply chain subject to stochastic demand in discrete time...
Dimitris Bertsimas, Aurélie Thiele
NIPS
2004
13 years 9 months ago
Validity Estimates for Loopy Belief Propagation on Binary Real-world Networks
We introduce a computationally efficient method to estimate the validity of the BP method as a function of graph topology, the connectivity strength, frustration and network size....
Joris M. Mooij, Hilbert J. Kappen