Now showing items 1-2 of 2
Mapping Inferences: Constraint Propagation and Diamond Satisfaction
(Universiteit van Amsterdam, 2002-12)
The main theme shared by the two main parts of this thesis is EFFICIENT AUTOMATED REASONING.Part I is focussed on a general theory underpinning a number of efficient approximate algorithms for Constraint Satisfaction ...
Enhanced Application Modeling Techniques for Web Applications
(Madison University, 2003)
The concept of Application modeling is a basic and essential component to the design and development of any computer-based application. Application modeling ensures that an application is developed to meet standards that ...