1547 search results - page 102 / 310 » The Isabelle Collections Framework |
INFSOF
2008
13 years 10 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...
JLP
2006
13 years 10 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...
UMUAI
2008
13 years 10 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...
SDM
2012
SIAM
12 years 15 days 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...
SAC
2011
ACM
13 years 28 days 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...