10568 search results - page 1615 / 2114 » Computer Intelligence and Formalization |
175
click to vote
DISCEX
2003
IEEE
16 years 14 days ago
2003
IEEE
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
202
click to vote
ICNP
2003
IEEE
16 years 14 days ago
2003
IEEE
This paper targets the problem of optimal resource allocation in overlay multicast, which poses both theoretical and practical challenges. Theoretically, resource allocation among...
198
click to vote
ICRA
2003
IEEE
16 years 13 days ago
2003
IEEE
− We propose a vision based 3D object recognition and tracking system, which provides high level scene descriptions such as object identification and 3D pose information. The sys...
201
click to vote
LICS
2003
IEEE
16 years 13 days ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
200
click to vote
RTSS
2003
IEEE
16 years 13 days ago
2003
IEEE
In prior work on multiprocessor fairness, efficient techniques with provable properties for reallocating spare processing capacity have been elusive. In this paper, we address thi...