Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
Abstract. The "seeded region growing" SRG is a segmentation technique which performs an image segmentation with respect to a set of initial points, known as seeds. Give...
Abstract. In order to be useful, intelligent information retrieval agents must provide their users with context-relevant information. This paper presents WordSieve, an algorithm fo...
Providing a user with an effective image search engine has been a very active research area. A search by an object model is considered to be one of the most desirable and yet dif...
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...