3174 search results - page 354 / 635 » An Exploration of the Permanent-Determinant Method |
173
click to vote
ICFCA
2005
Springer
16 years 9 days ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
148
click to vote
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
241
click to vote
DMKD
2004
ACM
16 years 6 days ago
2004
ACM
Data mining has been widely recognized as a powerful tool to explore added value from large-scale databases. One of data mining techniques, generalized association rule mining wit...
205
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
While most current approaches for sports video analysis are based on broadcast video, in this paper, we present a novel approach for highlight detection and automatic replay gener...
181
click to vote
WIDM
2004
ACM
16 years 6 days ago
2004
ACM
We present the user evaluation of two recommendation server methodologies implemented for the NASA Technical Report Server (NTRS). One methodology for generating recommendations u...