An Interval Constraint Approach to Neural Networks