7576 search results - page 1289 / 1516 » UNIX as an Application Program |
179
click to vote
UM
2007
Springer
16 years 17 days ago
2007
Springer
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
158
click to vote
UM
2007
Springer
16 years 17 days ago
2007
Springer
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...
175
click to vote
VLDB
2007
ACM
16 years 17 days ago
2007
ACM
Tracing the lineage of data is an important requirement for establishing the quality and validity of data. Recently, the problem of data provenance has been increasingly addressed...
145
click to vote
CSFW
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
116
click to vote
CSMR
2006
IEEE
16 years 16 days ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...