4987 search results - page 11 / 998 » Support Ordered Resolution |
104
click to vote
ECCC
2010
14 years 8 months ago
2010
Parameterized Resolution and, moreover, a general framework for parameterized proof complexity was introduced by Dantchev, Martin, and Szeider [16] (FOCS’07). In that paper, Dan...
BROADNETS
2007
IEEE
15 years 4 months ago
2007
IEEE
—With significant improvements in both wireless technologies and computational capabilities of mobile devices, it is now possible to exchange and render 3D graphics over wireless...
ICMCS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a novel approach to representing 2-d shapes that adaptively models different portions of the shape at different resolutions, having higher resolution where it ...
ARGMAS
2007
Springer
15 years 1 months ago
2007
Springer
Argumentation can serve as an effective computational tool and as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further ...
104
click to vote
CGF
1998
14 years 9 months ago
1998
A multiresolution data decomposition offers a fundamental framework supporting compression, progressive transmission, and level-of-detail (LOD) control for large two or three dime...