Sciweavers

5810 search results - page 316 / 1162
» An Approach to Programming Based on Concepts
Sort
View
AGP
1996
IEEE
15 years 10 months ago
Modular Analysis of Suspension Free cc Programs
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 ...
Enea Zaffanella
ISBI
2009
IEEE
16 years 1 months ago
Bridging the Semantic Gap Using Ranking Svm for Image Retrieval
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...
APSEC
2005
IEEE
16 years 7 days ago
Systematic Use Case Interviews for Specification of Automotive Systems
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...
Shariful Islam, Hannes Omasreiter
RIAO
2004
15 years 8 months ago
Unsupervised Learning with Term Clustering for Thematic Segmentation of Texts
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...
Marc Caillet, Jean-François Pessiot, Massih...
APIN
1998
98views more  APIN 1998»
15 years 6 months ago
The Evolution of Concurrent Programs
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...
Brian J. Ross