2036 search results - page 85 / 408 » A generic type-and-effect system |
177
click to vote
AI
2009
Springer
16 years 29 days 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...
186
click to vote
OOPSLA
2010
Springer
15 years 4 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...
131
click to vote
CONTEXT
2007
Springer
16 years 15 days 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...
133
click to vote
CSMR
2006
IEEE
16 years 12 days 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...
190
click to vote
IFIP
2004
Springer
15 years 11 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...