2597 search results - page 416 / 520 » On numbers of Davenport-Schinzel sequences |
176
click to vote
PST
2004
15 years 7 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...
172
click to vote
SPIESR
2001
15 years 7 months ago
2001
We describe a technique for video summarization that uses motion descriptors computed in the compressed domain to speed up conventional color based video summarization technique. ...
143
click to vote
IJCAI
2003
15 years 7 months ago
2003
In many applications of temporal reasoning we are in terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...
173
click to vote
WSC
2001
15 years 7 months ago
2001
This paper discusses implementation of a sequential procedure to construct proportional half-width confidence intervals for a simulation estimator of the steady-state quantiles an...
167
click to vote
WSC
2004
15 years 7 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...