Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...
ct 9 Words mean different things to different people, and so are uncertain. We, therefore, need a fuzzy set model for a word 10 that has the potential to capture their uncertaint...
Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classe...
Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richar...
Mobile phones represent not only a means of communication, but an increasingly omnipresent computing platform, enabling diverse modes of communication including ambient displays t...
We have designed two sets of communication tools to enable telepresence in groups who work in different locations. Afterwards we evaluated the tools. Studie (A), in the first grou...