92 search results - page 15 / 19 » Meta Reasoning in ACL2 |
BIBM
2007
IEEE
13 years 11 months ago
2007
IEEE
Different databases of metabolic pathways assign pathways different keys. For this reason, it is difficult to automatically compare pathways across databases. We introduce an algo...
ICCBR
2009
Springer
14 years 2 months ago
2009
Springer
Case-based planning (CBP) systems are based on the idea of reusing past successful plans for solving new problems. Previous research has shown the ability of meta-reasoning approac...
CHI
2010
ACM
13 years 7 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
C++
1994
13 years 8 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...
WIRTSCHAFTSINFORMATI
2003
13 years 8 months ago
2003
: Data warehouse projects, today, are in an ambivalent situation. On the one hand, data warehouses are critical for a company's success and various methodological and technolo...