2519 search results - page 89 / 504 » Reasoning with Textual Cases |
118
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
In real environments it is often difficult to obtain a collection of cases for the case base that would cover all the problem solving situations. Although it is often somewhat eas...
129
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
151
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
160
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
126
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
By viewing random 3-SAT as a distributional problem, we go over some of the notions of average-case complexity that were considered in the literature. We note that for dense formul...