People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
We propose a novel hashing scheme for image retrieval,
clustering and automatic object discovery. Unlike commonly
used bag-of-words approaches, the spatial extent of
image featu...
Ondrej Chum (Czech Technical University), Michal P...
In this paper, we propose a new re-coloring algorithm to enhance the accessibility for the color vision deficient (or colorblind). Compared to people with normal color vision, peop...
Jia-Bin Huang, Chu-Song Chen, Tzu-Cheng Jen, and S...
The state-of-the art in visual object retrieval from large
databases allows to search millions of images on the object
level. Recently, complementary works have proposed systems
...
Stephan Gammeter, Lukas Bossard, Till Quack, Luc V...