A new approach for selective edge enhancement using unsharp masking is presented. This is based on the premise that biological vision and image reproduction share common principle...
We introduce a real-time robust tracking procedure for a regular pattern marked on a flexible moving surface such as cloth. Our system is capable of maintaining the tracked grid s...
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
This paper introduces a novel method for composing Web services in the presence of external volatile information. Our approach, which we call the informed-presumptive, is compared...
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...