We describe CHAMP (CHurn Analysis, Modeling, and Prediction), an automated system for modeling cellular subscriber churn that is predicting which cus...

"Customer Retention" is an increasingly pressing issue in today's ever-competitive commercial arena. This is especially relevant and important for sa...

Although an ordered 3D structure is generally considered to be a necessary precondition for protein functionality, there are disordered counter examp...

We advance a theoretical framework which combines recent insights of research in logic, psychology, and formal semantics, on the nature of diagrammat...

The present paper presents algorithms for testing satisfiabily of clausal formulas in the propositional logic and the first-order logic. The algorith...