Search Sciweavers | Sciweavers

2162 search results - page 1 / 433

» Automated Reasoning on Feature Models

click to vote

CAISE
2005
Springer

108views Information Technology» more CAISE 2005»

Automated Reasoning on Feature Models

13 years 10 months ago

Download www.lsi.us.es

Abstract Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability ...

David Benavides, Pablo Trinidad Martín-Arro...

claim paper

Read More »

click to vote

LICS
1998
IEEE

111views Automated Reasoning» more LICS 1998»

The First-Order Theory of Ordering Constraints over Feature Trees

13 years 9 months ago

Download www.coli.uni-saarland.de

Martin Müller, Joachim Niehren, Ralf Treinen

claim paper

Read More »

click to vote

GIS
1998
ACM

99views Automated Reasoning» more GIS 1998»

Matching and Aligning Features in Overlayed Coverages

13 years 9 months ago

Download users.cs.cf.ac.uk

J. Mark Ware, Christopher B. Jones

claim paper

Read More »

click to vote

CSL
2011
Springer

214views Automated Reasoning» more CSL 2011»

Bipartite spectral graph partitioning for clustering dialect varieties and detecting their linguistic features

12 years 11 months ago

Download urd.let.rug.nl

Martijn Wieling, John Nerbonne

claim paper

Read More »

click to vote

RR
2010
Springer

244views Automated Reasoning» more RR 2010»

SPARQL1.1: New Features and Friends (OWL2, RIF)

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers