When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
— A simple view of deictic communication only includes the indication process and recognition process: a person points at an object and says something about it such as “look at...
In this paper we tackle the main problem presented by the majority of Information Visualization techniques, that is, the limited number of data items that can be visualized simulta...
In collaborative e-commerce environments, interoperation is a prerequisite for data warehouses that are physically scattered along the value chain. Adopting system and information...
Participants in a real-time groupware conference require a sense of awareness about other people's interactions within a large shared workspace. Fisheye views can afford this...