Sciweavers

2598 search results - page 211 / 520
» The Abstract Immune System Algorithm
Sort
View
ICWE
2005
Springer
15 years 12 months ago
Automatic Optimization of Web Recommendations Using Feedback and Ontology Graphs
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
Nick Golovin, Erhard Rahm
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
MPC
2010
Springer
159views Mathematics» more  MPC 2010»
15 years 11 months ago
Subtyping, Declaratively
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
Nils Anders Danielsson, Thorsten Altenkirch
153
Voted
APLAS
2007
ACM
15 years 10 months ago
Polymorphic Delimited Continuations
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
Kenichi Asai, Yukiyoshi Kameyama
164
Voted
LWA
2007
15 years 7 months ago
Conceptual Clustering of Social Bookmarking Sites
Abstract: Currently, social bookmarking systems provide intuitive support for browsing locally their content. A global view is usually presented by the tag cloud of the system, but...
Miranda Grahl, Andreas Hotho, Gerd Stumme