The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
In this paper we present research works we are addressing in EU4ALL project (IST-2006-034778) to enable Higher Education (HE) institutions to support and attend the accessibility ...
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
Reminder systems support people with impaired prospective memory and/or executive function, by providing them with reminders of their functional daily activities. We integrate tem...
Matthew R. Rudary, Satinder P. Singh, Martha E. Po...
We propose a deterministic method to evaluate the integral of a positive function based on soft-binning functions that smoothly cut the integral into smaller integrals that are ea...