Sciweavers

3095 search results - page 378 / 619
» Ubiquitous presence systems
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
Adaptive edge enhancement using a neurodynamical model of visual attention
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...
Francesca Gasparini, Silvia Corchs, Raimondo Schet...
ICPR
2002
IEEE
16 years 7 months ago
Efficient Tracking of Regular Patterns on Non-Rigid Geometry
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...
Igor Guskov
SIGSOFT
2002
ACM
16 years 7 months ago
Using redundancies to find errors
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...
Yichen Xie, Dawson R. Engler
WWW
2008
ACM
16 years 7 months ago
Speeding up web service composition with volatile external information
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...
John Harney, Prashant Doshi
POPL
2009
ACM
16 years 7 months ago
Static contract checking for Haskell
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...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen