8486 search results - page 138 / 1698 » Ordered Enumeration Method |
107
Voted
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Evaluation in Information Retrieval (IR) has long focused on effectiveness and efficiency. However, new and emerging access tasks now demand alternative evaluation measures which ...
GRAPHICSINTERFACE
2008
15 years 2 months ago
2008
Previous efforts involving picture-based passwords have not focused on maintaining a measurably high level of entropy. Since password systems usually allow user selection of passw...
79
Voted
AAAI
1994
15 years 2 months ago
1994
Derivation replay was first proposed by Carbonell as a method of transferring guidancefrom a previousproblemsolving episode to a new one. Subsequent implementations have used stat...
94
Voted
AI
2006
Springer
15 years 26 days ago
2006
Springer
Finite-domain constraint programming has been used with great success to tackle a wide variety of combinatorial problems in industry and academia. To apply finite-domain constrain...
123
Voted
JFP
2008
15 years 23 days ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...