73 search results - page 2 / 15 » Learning Efficient Rules by Maintaining the Explanation Stru... |
AMAST
2008
Springer
13 years 7 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
KDD
1998
ACM
13 years 9 months ago
1998
ACM
The value of extracting knowledge from semi-structured data is readily apparent with the explosion of the WWW and the advent of digital libraries. This paper proposes a versatile ...
IDEAL
2005
Springer
13 years 11 months ago
2005
Springer
Artificial neural networks play an important role for pattern recognition tasks. However, due to poor comprehensibility of the learned network, and the inability to represent expl...
AIPS
2007
13 years 7 months ago
2007
Autonomous systems operating in real-world environments must be able to plan, schedule, and execute missions while robustly adapting to uncertainty and disturbances. Previous work...
ACL
2010
13 years 3 months ago
2010
Maintaining high annotation consistency in large corpora is crucial for statistical learning; however, such work is hard, especially for tasks containing semantic elements. This p...