477 search results - page 59 / 96 » Collaborative Recommending using Formal Concept Analysis |
152
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
122
click to vote
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this paper, we discuss how to prevent users’ passwords from being stolen by adversaries. We propose differentiated security mechanisms in which a user has the freedom to ch...
116
Voted
SIGCSE
1997
ACM
15 years 7 months ago
1997
ACM
A typical Data Structures (CS 2) course covers a wide variety of topics: elementary algorithm analysis; data structures including dynamic structures, trees, tables, graphs, etc.; ...
142
click to vote
IWPC
2010
IEEE
15 years 1 months ago
2010
IEEE
—A measure of how a class is impacted during design evolution is presented. The history of design changes that involve a given class is the basis for the measure. Classes that ar...
123
Voted
WINE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...