972 search results - page 71 / 195 » Intersection types and computational effects |
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
The type of representation used in describing shape can have a significant impact on the effectiveness of a recognition strategy. Shape has been represented by its bounding curve ...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
Blocking artifacts are a major degradation affecting blockbased video compression. In this paper an adaptively based filter is proposed, whereby the type of filtering to be applie...
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
Historical films usually have defects. We study the type of defects, and propose a series of solutions to detect defects before they are repaired by our inpainting algorithms. Thi...
VL
2006
IEEE
14 years 3 months ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...