Let α ∈ (0, 1)R be irrational and Gn = Gn,1/nα be the random graph with edge probability 1/nα; we know that it satisfies the 0-1 law for first order logic. We deal with the ...
The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open probl...
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Ma...
We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conc...
Poor health due to a lack of understanding of nutrition is a major problem in the modern world, one which could potentially be addressed via the use of recommender systems. In thi...
When a new user registers to a recommender system service, the system does not know her taste and cannot propose meaningful suggestions (cold-start problem). This preliminary work...
One of the most important steps in building a recommender system is the interaction design process, which defines how the recommender system interacts with a user. It also shapes...
Mehdi Elahi, Mouzhi Ge, Francesco Ricci, Ignacio F...
This paper presents a formative evaluation of an interface for inspecting microblog content. This novel interface introduces filters by communities, and network structure, as wel...
Our research is focused on interpreting user preference from his/her implicit behavior. There are many types of relevant behavior e.g. time on page, scrolling, clickstream etc. wh...
As the amount of recorded digital information increases, there is a growing need for flexible recommender systems which can incorporate richly structured data sources to improve ...
Pigi Kouki, Shobeir Fakhraei, James R. Foulds, Mag...