10715 search results - page 1754 / 2143 » Proofs from Tests |
217
click to vote
SPIESR
2001
15 years 9 months ago
2001
There are a number of shots in a video, each of which has boundary types, such as cut, fade, dissolve and wipe. Many previous approaches can find the cut boundary without difficul...
190
click to vote
IJCAI
2003
15 years 9 months ago
2003
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
158
click to vote
IJCAI
2003
15 years 9 months ago
2003
The core of scientific theories are laws. These laws often make use of theoretical terms, linguistic entities which do not directly refer to observables. There is therefore no dir...
201
click to vote
USITS
2001
15 years 9 months ago
2001
Measuring the bottleneck link bandwidth along a path is important for understanding the performance of many Internet applications. Existing tools to measure bottleneck bandwidth a...
210
click to vote
VCIP
2001
15 years 9 months ago
2001
Lossless video coding is useful in applications where no loss of information or visual quality is tolerable. In embedded to lossless coding an encoded video stream can be decoded ...