519 search results - page 37 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
130
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Active learning (AL) is a framework that attempts to reduce the cost of annotating training material for statistical learning methods. While a lot of papers have been presented on...
139
click to vote
EGICE
2006
15 years 6 months ago
2006
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...
159
Voted
VLSID
2010
IEEE
15 years 4 days ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
119
click to vote
KES
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We propose inductive distance-based methods for instance classification and retrieval in ontologies. Casting retrieval as a classification problem with the goal of assess...
108
Voted
CSL
2001
Springer
15 years 6 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...