2162 search results - page 164 / 433 » Automated Reasoning on Feature Models |
178
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
159
click to vote
CLIMA
2009
15 years 2 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
127
click to vote
SAT
2005
Springer
15 years 9 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
278
click to vote
GIS
2006
ACM
16 years 5 months ago
2006
ACM
If you were told that some object A was perfectly (or somewhat, or not at all) in some direction (e.g., west, above-right) of some reference object B, where in space would you loo...
153
click to vote
WSCG
2004
15 years 5 months ago
2004
Free form shapes are often used to fulfil both aesthetic and design constraints applied to parametric models currently adopted in CAD environments. Up to now, designers and engine...