1634 search results - page 170 / 327 » Reasoning about Knowledge Using Rough Sets |
110
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
114
click to vote
ACSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
: © An Empirical Approach to Modeling Uncertainty in Intrusion Analysis Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan HP Laboratories HPL-2009-334 intrusion de...
100
Voted
DLOG
2008
15 years 3 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
108
Voted
FOIS
2006
15 years 2 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
79
Voted
BMCBI
2010
14 years 11 months ago
2010
Background: Post-hybridization washing is an essential part of microarray experiments. Both the quality of the experimental washing protocol and adequate consideration of washing ...