3778 search results - page 323 / 756 » Erdos-Ko-Rado for three sets |
155
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
Building profiles for processes and for interactive users is a important task in intrusion detection. This paper presents the results obtained with a Hierarchical Hidden Markov Mo...
178
click to vote
AIRS
2005
Springer
15 years 11 months ago
2005
Springer
In order to make personalized recommendations, many collaborative music recommender systems (CMRS) focused on capturing precise similarities among users or items based on user hist...
155
click to vote
AMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Different strategies to learn user semantic queries from dissimilarity representations of video audio-visual content are presented. When dealing with large corpora of vi...
170
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
231
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...