9018 search results - page 1521 / 1804 » 3D-Brain Model Software |
158
click to vote
FOSSACS
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
153
click to vote
FOSSACS
2009
Springer
16 years 26 days ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
156
click to vote
IPPS
2009
IEEE
16 years 22 days ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
137
click to vote
CIKM
2009
Springer
16 years 20 days ago
2009
Springer
While numerous metrics for information retrieval are available in the case of binary relevance, there is only one commonly used metric for graded relevance, namely the Discounted ...
183
click to vote
CIKM
2009
Springer
16 years 20 days ago
2009
Springer
![Hydra: a hybrid recommender system [cross-linked rating and content information]](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/hydra_a_hybrid_recommender_system_cross_linked_rating_and_content_information_CIKM_2009.jpg "Hydra: a hybrid recommender system [cross-linked rating and content information]")
This paper discusses the combination of collaborative and contentbased filtering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...