3477 search results - page 116 / 696 » From Tables to Frames |
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper we investigate the application of texture synthesis and image inpainting techniques for video applications. Working in the non-parametric framework, we use 3D patche...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
HICSS
2002
IEEE
14 years 26 days ago
2002
IEEE
With the increasing availability of Web-enabled mobile devices, we are facing the problem to effectively adapt Web content for those devices. For adaptation, Web page structures r...
PG
2002
IEEE
14 years 25 days ago
2002
IEEE
We present an interactive method of visualizing both manifold and non-manifold implicit surfaces. The implicit surfaces are directly visualized at interactive frame rates independ...
APCHI
1998
IEEE
14 years 5 days ago
1998
IEEE
The limitations of palmtop computers are their display size and pointing mechanisms. This makes it difficult to use them for direct manipulation of very large objects, such as Wor...