A recommender system suggests items to a user for a given query by personalizing the recommendations based on the user interests. User personalization is usually done by asking us...
Deepak Khemani, Mohamed A. K. Sadiq, Rakesh Bangan...
The need for contextually rich educational experiences in construction education has led researchers to explore alternatives using gaming and simulation environments. The work don...
The growing presence of household robots in inhabited environments arises the need for new robot task planning techniques. These techniques should take into consideration not only...
Marcello Cirillo, Lars Karlsson, Alessandro Saffio...
: Contextual collaboration seamlessly integrates existing groupware technologies into a uniform user experience that combines synchronous and asynchronous interactions. This user e...
Werner Geyer, Roberto Silveira Silva Filho, Beth B...
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...