2036 search results - page 85 / 408 » A generic type-and-effect system |
105
click to vote
AI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We use a hierarchical Bayesian approach to model user preferences in different contexts or settings. Unlike many previous recommenders, our approach is content-based. We...
114
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
86
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Context-aware systems must be able to deal with uncertain context information. We propose a generic context architecture and representation that incorporates the uncertai...
CSMR
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
129
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...