8431 search results - page 1279 / 1687 » Algorithmically Independent Sequences |
150
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
169
click to vote
VLBV
2005
Springer
16 years 7 days ago
2005
Springer
We vary the quantization parameter in H.264 video encoding by increasing it by a well-chosen offset in every other frame, which we call reduced frames. As the motion compensation ...
202
click to vote
CIKM
2005
Springer
16 years 7 days ago
2005
Springer
Existing web usage mining techniques focus only on discovering knowledge based on the statistical measures obtained from the static characteristics of web usage data. They do not ...
202
click to vote
AMDO
2004
Springer
16 years 5 days ago
2004
Springer
We describe a robust real-time 3D tracking system of the extreme limbs of the upper human body, i.e., the hands and the face. The goal of the system is that it can be used as a per...
160
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...