1547 search results - page 102 / 310 » The Isabelle Collections Framework |
113
Voted
INFSOF
2008
15 years 3 months ago
2008
Different stakeholders in the design of an enterprise information system have their own view on that design. To help produce a coherent design this paper presents a framework that...
130
click to vote
JLP
2006
15 years 3 months ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
133
click to vote
UMUAI
2008
15 years 3 months ago
2008
Abstract. Provision of personalized recommendations to users requires accurate modeling of their interests and needs. This paper proposes a general framework and specific methodolo...
177
click to vote
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
Multiple data sources containing different types of features may be available for a given task. For instance, users’ profiles can be used to build recommendation systems. In a...
151
click to vote
SAC
2011
ACM
14 years 6 months ago
2011
ACM
Logs are one of the most important pieces of analytical data in a cloud-based service infrastructure. At any point in time, service owners and operators need to understand the sta...