6582 search results - page 1013 / 1317 » The focus of attention problem |
168
click to vote
FATES
2003
Springer
16 years 19 hour ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
172
Voted
FM
2003
Springer
16 years 18 hour ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
181
click to vote
ICADL
2003
Springer
16 years 13 hour ago
2003
Springer
Current rights management systems are not able to enforce copyright laws because of both legal and technological reasons. The contract rights granted by a copyright owner are often...
173
click to vote
ICCBR
2003
Springer
16 years 12 hour ago
2003
Springer
Case-Based Reasoning systems usually retrieve cases using a similarity function based on K-NN or some derivatives. These functions are sensitive to irrelevant or noisy features. We...
178
click to vote
ICCSA
2003
Springer
16 years 11 hour ago
2003
Springer
A scene-adaptive rate control algorithm with an enhanced frame skipping is proposed for low bit rate video coding. Most existing rate control algorithms for low bit rate video focu...