Sciweavers

5718 search results - page 844 / 1144
» Modeling Rule Precision
Sort
View
INFOCOM
2005
IEEE
16 years 25 days ago
On static reachability analysis of IP networks
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
Geoffrey G. Xie, Jibin Zhan, David A. Maltz, Hui Z...
SP
2005
IEEE
104views Security Privacy» more  SP 2005»
16 years 25 days ago
On Safety in Discretionary Access Control
An apparently prevailing myth is that safety is undecidable in Discretionary Access Control (DAC); therefore, one needs to invent new DAC schemes in which safety analysis is decid...
Ninghui Li, Mahesh V. Tripunitara
MM
2005
ACM
209views Multimedia» more  MM 2005»
16 years 24 days ago
Learning an image-word embedding for image auto-annotation on the nonlinear latent space
Latent Semantic Analysis (LSA) has shown encouraging performance for the problem of unsupervised image automatic annotation. LSA conducts annotation by keywords propagation on a l...
Wei Liu, Xiaoou Tang
AIME
2005
Springer
16 years 24 days ago
MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...
Andreas Seyfang, Silvia Miksch, Cristina Polo-Cond...
ATAL
2005
Springer
16 years 24 days ago
Towards a theory of "local to global" in distributed multi-agent systems (II)
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
Daniel Yamins