2519 search results - page 299 / 504 » Reasoning with Textual Cases |
157
click to vote
RSFDGRC
2005
Springer
16 years 2 days ago
2005
Springer
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...
169
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
171
click to vote
SAS
2005
Springer
16 years 2 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
163
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
146
click to vote
FC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...