An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony.

Stephen Rochefort H. James Hoover

Published in: FIW (1997)

Keyphrases

expert systems
building blocks
databases
management system
computational intelligence
distributed systems
computer systems
feature interactions
neural network
information systems
knowledge base
bayesian networks
video sequences
software engineering
theorem proving
systems require