9145 search results - page 335 / 1829 » Description Logic Systems |
142
Voted
JDCTA
2008
15 years 6 months ago
2008
Access control includes physical and logical access control. Physical access control protects the damage, theft and losing of assess. In this paper, we propose the method to prote...
206
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Computerized clinical guidelines can provide significant benefits to health outcomes and costs, however, their effective implementation presents significant problems. Vagueness an...
158
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
170
click to vote
JMM2
2008
15 years 6 months ago
2008
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
167
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...