4047 search results - page 692 / 810 » Some Properties and Some Problems on Set Functors |
137
Voted
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
This paper addresses the problem of automatic detection of salient video segments for real-world applications such as corporate training based on associated speech transcriptions....
142
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Computing lower bounds to the best-cost extension of a tuple is an ubiquous task in constraint optimization. A particular case of special interest is the computation of l...
160
click to vote
PKDD
1998
Springer
15 years 8 months ago
1998
Springer
Knowledge discovery in databases (KDD) is a process that can include steps like forming the data set, data transformations, discovery of patterns, searching for exceptions to a pat...
107
click to vote
VTS
1997
IEEE
15 years 8 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
193
click to vote
AUSDM
2008
Springer
15 years 6 months ago
2008
Springer
Malware detection is an important problem today. New malware appears every day and in order to be able to detect it, it is important to recognize families of existing malware. Dat...