4573 search results - page 552 / 915 » Automated Reasoning |
132
click to vote
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose that traditional case-based recommender systems can be improved by informing them with context data describing the user's environment. We outline existing...
140
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
134
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
146
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
155
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...