114 search results - page 3 / 23 » Exploring Multi-Level Modeling Relations Using Variability M... |
SAT
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
GRAPHICSINTERFACE
2000
13 years 6 months ago
2000
We introduce a new metaphor for learning spatial relations--the 3D puzzle. With this metaphor users learn spatial relations by assembling a geometric model themselves. For this pu...
SEW
2006
IEEE
13 years 11 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
ECBS
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
ICDM
2005
IEEE
13 years 11 months ago
2005
IEEE
The presence of autocorrelation provides a strong motivation for using relational learning and inference techniques. Autocorrelation is a statistical dependence between the values...