2162 search results - page 61 / 433 » Automated Reasoning on Feature Models |
140
Voted
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In CREEK, there is a very strong coupling between cases and general domain knowledge, in that...
125
Voted
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
128
click to vote
WOA
2000
15 years 4 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
132
Voted
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
The present paper describes a case-based reasoning solution for solving the task of selecting adequate templates for realizing messages describing actions in a given domain. This s...
152
Voted
SBIA
2000
Springer
15 years 7 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...