3624 search results - page 304 / 725 » Abstract Algebraic Logic |
187
click to vote
FSKD
2007
Springer
16 years 22 days ago
2007
Springer
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...
182
click to vote
ETS
2006
IEEE
16 years 19 days ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
177
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
176
click to vote
INEX
2004
Springer
15 years 12 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
207
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...