546 search results - page 96 / 110 » Extended Null-Move Reductions |
3DIM
1997
IEEE
14 years 21 days ago
1997
IEEE
Video-rate registered range and intensity data are at reach of current sensor technology. This wealth of data can be pro tably exploited in order to estimate rigid motion paramete...
LFCS
1992
Springer
14 years 16 days ago
1992
Springer
This paper proves that "promise classes" are so fragilely structured that they do not robustly (i.e. with respect to all oracles) possess Turinghard sets even in classes...
SI3D
1992
ACM
14 years 16 days ago
1992
ACM
Designing the illumination of a scene is a di cult task because one needs to render the whole scene in order to look at the result. Obtaining the correct lighting e ects may requi...
DATE
2007
IEEE
14 years 9 days ago
2007
IEEE
In the past decade, energy-efficiency has been an important system design issue in both hardware and software managements. For mobile applications with critical missions, both ene...
CCS
2006
ACM
14 years 6 days ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...