455 search results - page 38 / 91 » Structure Theorems for Systems of Segments |
MM
2004
ACM
14 years 2 months ago
2004
ACM
Music video (MV) is a short film meant to present a visual representation of a popular music song. In this paper, we present a system that automatically generates MV-like videos f...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Software security metrics are measurements to assess security related imperfections (or perfections) introduced during software development. A number of security metrics have been...
TCSV
2010
13 years 3 months ago
2010
We propose a compressed domain video object segmentation method for MPEG or MPEG-like encoded videos. Computational superiority is the main advantage of the compressed domain proc...
AAAI
2008
13 years 11 months ago
2008
Most standard learning algorithms, such as Logistic Regression (LR) and the Support Vector Machine (SVM), are designed to deal with i.i.d. (independent and identically distributed...