141 search results - page 2 / 29 » Colored local type inference |
ICFP
2009
ACM
14 years 6 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
ICIP
2003
IEEE
14 years 7 months ago
2003
IEEE
Robust real-time tracking of non-rigid objects in a dynamic environment is a challenging task. Among various cues in tracking, color can provide an efficient visual cue for this t...
CVPR
2005
IEEE
14 years 7 months ago
2005
IEEE
We address the problem of regional color transfer between two natural images by probabilistic segmentation. We use a new Expectation-Maximization (EM) scheme to impose both spatia...
ICST
2009
IEEE
14 years 4 days ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
ICIP
2009
IEEE
14 years 6 months ago
2009
IEEE
In this paper we propose a novel computational method to infer visual saliency in images. The computational method is based on the idea that salient objects should have local char...