We present a method to recover scenes deteriorated by superposition of transparent and semi-reflected contributions, as appear in reflections off windows. Separating the superimpo...
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Structurally distinct constellation labelings exist within both the Gray code and the set-partitioning paradigm. Different labeling choices within either paradigm can provide diffe...
In some domains, including those requiring natural language understanding, we cannot build a system that can complete the entire task. One way to deal with such cases is to encode ...