Sciweavers

BIRTHDAY
2015
Springer
8 years 4 months ago
On Failure of 0-1 Laws
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 ...
Saharon Shelah
BIRTHDAY
2015
Springer
8 years 4 months ago
A Theory Agenda for Component-Based Design
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...
BIRTHDAY
2015
Springer
8 years 4 months ago
The Foundational Legacy of ASL
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...
Donald Sannella, Andrzej Tarlecki
BIRTHDAY
2015
Springer
8 years 4 months ago
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
Martin Gebser, Roland Kaminski, Philipp Obermeier,...
RECSYS
2015
ACM
8 years 4 months ago
Automated Recommendation of Healthy, Personalised Meal Plans
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...
Morgan Harvey, David Elsweiler
RECSYS
2015
ACM
8 years 4 months ago
Do You Have a Pop Face? Here is a Pop Song. Using Profile Pictures to Mitigate the Cold-start Problem in Music Recommender Syste
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...
Eugenio Tacchini, Ramon Morros, Verónica Vi...
RECSYS
2015
ACM
8 years 4 months ago
Interaction Design in a Mobile Food Recommender System
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...
RECSYS
2015
ACM
8 years 4 months ago
Inspection Mechanisms for Community-based Content Discovery in Microblogs
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...
Nava Tintarev, Byungkyu Kang, Tobias Höllerer...
RECSYS
2015
ACM
8 years 4 months ago
How to Interpret Implicit User Feedback?
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...
Ladislav Peska, Peter Vojtás
RECSYS
2015
ACM
8 years 4 months ago
HyPER: A Flexible and Extensible Probabilistic Framework for Hybrid Recommender Systems
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...