2819 search results - page 527 / 564 » Automatic Structures |
168
click to vote
ICMCS
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a novel genre-independent SVM framework for detecting scene changes in broadcast video. Our framework works on content from a diverse range of genres by allowing sets o...
172
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
— In this paper, we propose an original approach to control camera position and/or lighting conditions in an environment using image gradient information. Our goal is to ensure a...
159
click to vote
KBSE
2007
IEEE
16 years 22 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
161
click to vote
BTW
2007
Springer
16 years 19 days ago
2007
Springer
: Statistics that accurately describe the distribution of data values in the columns of relational tables are essential for effective query optimization in a database management sy...
164
click to vote
CAV
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...