Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
One of the main challenges for Content-Based Image Retrieval (CBIR) is to achieve meaningful mappings between the high-level semantic concepts and the low-level visual features in...
Haiying Guan, Sameer Antani, L. Rodney Long, Georg...
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
In this paper we introduce a machine learning approach for automatic text segmentation. Our text segmenter clusters text-segments containing similar concepts. It first discovers th...
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...