1581 search results - page 125 / 317 » Mechanizing Inductive Reasoning |
187
click to vote
PAKDD
1998
ACM
15 years 10 months ago
1998
ACM
The use of Data Mining in removing current bottlenecks within Case-based Reasoning (CBR) systems is investigated along with the possible role of CBR in providing a knowledge manag...
169
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
164
click to vote
ICML
1995
IEEE
15 years 10 months ago
1995
IEEE
Systems that learn from examples often create a disjunctive concept definition. Small disjuncts are those disjuncts which cover only a few training examples. The problem with sma...
165
click to vote
WSC
2007
15 years 8 months ago
2007
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
178
click to vote
WSC
2008
15 years 8 months ago
2008
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...