Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
In this paper, we propose a context-aware food recommendation system for well-being care applications. The proposed system, called u-BabSang, provides individualized food recommend...
We describe Dead Value Information (DVI) and introduce three new optimizations which exploit it. DVI provides assertions that certain register values are dead, meaning they will n...
Location appears to be one of the most important aspects of context in mobile communication. It is a complex piece of information involving several levels of detail. Location inter...
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...