1205 search results - page 203 / 241 » Program Extraction from Large Proof Developments |
126
click to vote
IANDC
2008
15 years 1 months ago
2008
The problem of computing periods in words, or finite sequences of symbols from a finite alphabet, has important applications in several areas including data compression, string se...
CVPR
2007
IEEE
15 years 7 months ago
2007
IEEE
In this work, we systematically study the problem of visual event recognition in unconstrained news video sequences. We adopt the discriminative kernel-based method for which vide...
114
click to vote
PAMI
2008
15 years 1 months ago
2008
In this work, we systematically study the problem of event recognition in unconstrained news video sequences. We adopt the discriminative kernel-based method for which video clip s...
111
click to vote
DAGM
2003
Springer
15 years 6 months ago
2003
Springer
Compared to their ancestors in the early 1970s, present day computer games are of incredible complexity and show magnificent graphical performance. However, in programming intelli...
108
click to vote
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—We consider the problem of aligning multiple protein sequences with the goal of maximizing the SP (Sum-of-Pairs) score, when the number of sequences is large. The QOMA (...