2162 search results - page 216 / 433 » Automated Reasoning on Feature Models |
131
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Critiquing is a powerful style of feedback for case-based recommender systems. Instead of providing detailed feature values, users indicate a directional preference for a...
84
Voted
ICHIM
2001
15 years 6 months ago
2001
This paper poses the problem of designing Museum Appliances (MA), which are usable, i.e. easy to learn and easy to use. A recently proposed model of multimedia Human Computer Inte...
143
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
165
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
The ability to aggregate huge volumes of queries over a large population of users allows search engines to build precise models for a variety of query-assistance features such as ...
139
click to vote
WOA
2007
15 years 6 months ago
2007
—Reasoning by interrogation is one of the most ancient and experimented ways of reasoning. Originated by the Aristotelian elenchus, it has been used for many purposes, such as th...