327 search results - page 39 / 66 » Model Checking and Evidence Exploration |
282
click to vote
NN
2011
Springer
14 years 12 months ago
2011
Springer
In this letter we explore an alternative structural representation for Steinbuch-type binary associative memories. These networks offer very generous storage capacities (both asy...
153
Voted
ACL
2011
14 years 8 months ago
2011
Community-based knowledge forums, such as Wikipedia, are susceptible to vandalism, i.e., ill-intentioned contributions that are detrimental to the quality of collective intelligen...
135
click to vote
CSCW
2000
ACM
15 years 9 months ago
2000
ACM
Automated collaborative filtering (ACF) systems predict a person’s affinity for items or information by connecting that person’s recorded interests with the recorded interests...
146
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
141
click to vote
TAMODIA
2008
15 years 6 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...