The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
We consider the problem of semi-supervised segmentation of textured images. Recently, reweighted belief propagation has been introduced as a solution for Bayesian inference with r...
The knowledge and skills of software engineers are perhaps the most important factors in determining the success of software development. Thus, we seek to identify the professiona...
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
Email worms and the spam associated with them are one of the main operational security issues today because they waste time, money and resources. The high incidence of email worms...