519 search results - page 10 / 104 » Using Goal-Models to Analyze Variability |
PR
2007
13 years 7 months ago
2007
Abstract: Morphological tools can provide transformations suitable for real projective images, but the camera and objects to be analyzed have to be positioned in such a manner that...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
The phenomenon of sponsored search advertising is gaining ground as the largest source of revenues for search engines. Firms across different industries have are beginning to adop...
SISAP
2009
IEEE
14 years 2 months ago
2009
IEEE
—It has been a long way since the beginnings of metric space searching, where people coming from algorithmics tried to apply their background to this new paradigm, obtaining vari...
JLP
2008
13 years 7 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
AAAI
1997
13 years 8 months ago
1997
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...