1072 search results - page 174 / 215 » Object-Oriented Type Inference |
148
click to vote
AOSD
2005
ACM
15 years 9 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
114
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
103
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Current mechanisms for evaluating the trustworthiness of an agent within an electronic marketplace depend either on using a history of interactions or on recommendations from othe...
123
click to vote
IUI
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we describe a method for pedagogical agents to choose when to interact with learners in interactive learning environments. This method is based on observations of h...
134
click to vote
COLT
2004
Springer
15 years 8 months ago
2004
Springer
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...