Sciweavers

652 search results - page 79 / 131
» expert 2007
Sort
View
INFSOF
2007
101views more  INFSOF 2007»
14 years 10 months ago
Clustering large software systems at multiple layers
Software clustering algorithms presented in the literature rarely incorporate in the clustering process dynamic information, such as the number of function invocations during runt...
Bill Andreopoulos, Aijun An, Vassilios Tzerpos, Xi...
ENTCS
2007
123views more  ENTCS 2007»
14 years 10 months ago
Proving Termination of Context-Sensitive Rewriting with MU-TERM
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
Beatriz Alarcón, Raúl Gutiérr...
NN
2007
Springer
14 years 10 months ago
Environmentally adaptive acoustic transmission loss prediction in turbulent and nonturbulent atmospheres
An environmentally adaptive system for prediction of acoustic transmission loss (TL) in the atmosphere is developed in this paper. This system uses several back propagation neural...
Gordon Wichern, Mahmood R. Azimi-Sadjadi, Michael ...
INEX
2007
Springer
15 years 5 months ago
Integrating Document Features for Entity Ranking
The Knowledge Media Institute of the Open University participated in the entity ranking and entity list completion tasks of the Entity Ranking Track in INEX 2007. In both the entit...
Jianhan Zhu, Dawei Song, Stefan M. Rüger
ER
2007
Springer
130views Database» more  ER 2007»
15 years 5 months ago
Towards Automated Reasoning on ORM Schemes
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Mustafa Jarrar