In this paper, we investigate the test set problem and its variations that appear in a variety of applications. In general, we are given a universe of objects to be “distinguish...
Universal access to information and data is an important goal of current research. Previously different forms of information and data, captured by different devices or held on dif...
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
Since years the market of mobile navigation systems is growing enormously. Within this paper the goals and first results of the joint project "Mobile Navigation with 3D City ...
This paper describes a proposed pilot educational program to teach middle and high school students the space shuttle processing operations. This pilot program involves a partnersh...
Mansooreh Mollaghasemi, Michael Georgiopoulos, Ann...