Sciweavers

3680 search results - page 338 / 736
» cases 2010
Sort
View
TAL
2010
Springer
15 years 4 months ago
Passage Retrieval in Log Files: An Approach Based on Query Enrichment
Abstract. The question answering systems are considered the next generation of search engines. This paper focuses on the first step of this process, which is to search for relevant...
Hassan Saneifar, Stéphane Bonniol, Anne Lau...
VSTTE
2010
Springer
15 years 4 months ago
Reusable Verification of a Copying Collector
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
Magnus O. Myreen
WCET
2010
15 years 4 months ago
On the Use of Context Information for Precise Measurement-Based Execution Time Estimation
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...
Stefan Stattelmann, Florian Martin
WEBI
2010
Springer
15 years 4 months ago
Discovering Research Communities by Clustering Bibliographical Data
Today's world is characterized by the multiplicity of interconnections through many types of links between the people, that is why mining social networks appears to be an impo...
Fabrice Muhlenbach, Stéphane Lallich
WER
2010
Springer
15 years 4 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri