Sciweavers

7168 search results - page 556 / 1434
» A Factorization Approach to Grouping
Sort
View
SPLC
2004
15 years 8 months ago
Staged Configuration Using Feature Models
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
Krzysztof Czarnecki, Simon Helsen, Ulrich W. Eisen...
185
Voted
CLEF
2010
Springer
15 years 8 months ago
Overview of the Wikipedia Retrieval Task at ImageCLEF 2010
ImageCLEF's Wikipedia Retrieval task provides a testbed for the system-oriented evaluation of multimedia information retrieval from a collection of Wikipedia images. The aim i...
Adrian Popescu, Theodora Tsikrika, Jana Kludas
CACM
2006
102views more  CACM 2006»
15 years 7 months ago
Argumentation support: from technologies to tools
Electronic argumentation support is increasingly important in today's networked society. Virtual research collaboration, e-business, and many other domains of professional li...
Aldo de Moor, Mark Aakhus
JAR
2008
81views more  JAR 2008»
15 years 7 months ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller
JSW
2007
120views more  JSW 2007»
15 years 7 months ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees