7430 search results - page 1289 / 1486 » Programming Applications in CIFF |
148
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
144
click to vote
UM
2007
Springer
15 years 10 months 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...
134
click to vote
UM
2007
Springer
15 years 10 months 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...
137
Voted
VLDB
2007
ACM
15 years 10 months 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...
108
click to vote
CSFW
2006
IEEE
15 years 10 months 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...