Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
Although it has been studied for several years by computer vision and machine learning communities, image annotation is still far from practical. In this paper, we present AnnoSea...
IEEE-LOM is a well-known metadata standard for describing learning resources. However, many problems are associated with this kind of representation, which include the number of f...
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...
Vassilis Spiliopoulos, Konstantinos Kotis, George ...
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...