With the advances in wireless communications and technologies of mobile devices, location-based applications or services will become an essential part of future applications. We h...
Visually impaired people constantly interpret moving phenomena in the real world; they do not lack the skills to understand the meaning of what is portrayed in an animation. Howev...
The goal of having networks of seamlessly connected people, software agents and IT systems remains elusive. Early integration efforts focused on connectivity at the physical and s...
Supporting adaptive processes in tackling emergency situations, such as disasters, is a key issue for any emergency management system. In such situations, various teams are deploye...
Hong Linh Truong, Lukasz Juszczyk, Atif Manzoor, S...
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...